var otc=new Array(),oto=new Array();// VsD02122003 eVD12102003 (c)Hinnerk Ruemenapf ;-)
function to(){while(oto.length>0){oto.pop().className=otc.pop()}}
function ti(){var i;var o;var c;for(i=0;i<arguments.length;i++){
o=document.getElementById(arguments[i]);c=o.className;if(c==undefined){c=''}
oto.push(o);otc.push(c);if(c.length>0){c+='_hl'}else{c="hl"}o.className=c}}