function dotshow(page){
	document.getElementById(page).style.visibility = "visible";
}

function dothide(page){
	document.getElementById(page).style.visibility = "hidden";
}