function menu(sender,posun) {
  sender.style.backgroundPosition=posun+'px';
}

function putbox(jmeno,domena,text) {
 if(!document.domain) return;
 if(!domena) domena=document.domain.replace('www.','');
 var strm="mailto:";
 if(!text) text=jmeno+'@'+domena;
 document.write('<a href="'+strm+jmeno+'&#64;'+domena+'">'+text+'</a>');
}