<!--
function getElement(id){return(typeof document.getElementById!="undefined")?document.getElementById(id):document.all[id];}
function showHide(id){div=getElement(id);div.style.visibility=(div.style.visibility==""||div.style.visibility=="visible")?"hidden":"visible";}