function hide(thing) {document.getElementById(thing).style.visibility = 'hidden';}
function view(thing) {document.getElementById(thing).style.visibility = 'visible';}