//if(navigator.appName=="Netscape" || navigator.appName=="Opera") tt=0;
function hide_menu(sid) { if(document.getElementById('s'+sid)) document.getElementById('s'+sid).style.visibility='hidden';}
function chCN(obj_id, ClassName) { document.getElementById(obj_id).className=ClassName;}