function hide(id) {document.getElementById(id).style.display = "none";}