function set_layer(what, value){
   if (document.getElementById &&
		 document.getElementById(what) &&
			document.getElementById(what).style)
   {
   document.getElementById(what).style.display = value;
   };
}