function getId(id){
	return document.getElementById(id);
}
function hide(id){
	getId(id).style.visibility = "hidden";
}
function show(id){
	getId(id).style.visibility = "visible";
}