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