function $(element) {
  return document.getElementById(element);
}

function hide(x)
{
  $('popup'+x).style.visibility = "hidden";
}


function show(x)

{
/*alert("Gruetz"+x);*/

  $('popup'+x).style.visibility = "visible";

}