function switchDIV(divid){            var divstyle = document.getElementById(divid).style;             divstyle.display = divstyle.display? "":"block"; }
