// JavaScript Document

function vis(layer_id, visibility)      
{  
    var Layer=document.getElementById(layer_id);  
    Layer.style.visibility=visibility;
}