// JavaScript Document

function hide(layer) {

	document.getElementById(layer).style.visibility = 'hidden';

}



function show_layer(layer) {

	document.getElementById(layer).style.visibility = 'visible';

}