function getObjectById(a){if(document.getElementById){return document.getElementById(a)}if(document.all){return document.all[a]}return 0}function show(c){try{var b=getObjectById(c);b.style.display="block";b.style.visibility="visible"}catch(a){}}function hide(c){try{var b=getObjectById(c);b.style.display="none";b.style.visibility="hidden"}catch(a){}};