function g(o){return document.getElementById(o);} 
function zs(n){ 
for(var i=1;i<=6;i++)
{g('a_'+i).className='';g('a_'+n).className=''; g('a_0'+i).className='menu_1a';}g('a_0'+n).className='menu_1';}