function hide(d) { document.getElementById(d).style.display = "none"; }
function show(d) { document.getElementById(d).style.display = "block"; }