function showlayer(layer){
var whichLayer = document.getElementById(layer);
if (whichLayer.className=="shown"){
whichLayer.className="hidden";
} else {
whichLayer.className="shown";
}
}