function show (place,info) {
  if (document.getElementById)
    document.getElementById(place).innerHTML = info;
    document.getElementById(place).style.visibility = "visible";
}

function hide (place) {
  if (document.getElementById)
    document.getElementById(place).style.visibility = "hidden";
}