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