var targetlayer;
function hide(layername)
{
targetlayer = document.getElementById(layername);
targetlayer.style.visibility = "hidden";
}

function show(layername)
{
targetlayer = document.getElementById(layername);
targetlayer.style.visibility = "visible";
}

function replaceAll(theString,searchChar,newChar){return theString.split(searchChar).join(newChar)}