// JavaScript Document
function hide_top_layer (elem) {
   document.getElementById(elem).style.display="none";
}

function show_top_layer (elem) {
   document.getElementById(elem).style.display="block";
}