function g(o){
return document.getelementbyid(o);}
function hoverxx(m,n,counter){
for(var i=1;i<=counter;i++){
g('tb_'+m+i).classname='normaltab';
g('tbc_'+m+i).classname='undis';}
g('tbc_'+m+n).classname='dis';
g('tb_'+m+n).classname='hovertab';}