function hauptmenu (o){
for(i=1;i<6;i++){
                if(i != o) {document.write('<a href="index.php?s='+i+'0'+'" id="mp'+i+'"></a>');
                }
                else {
                document.write('<a href="index.php?s='+i+'0'+'" id="mp'+i+'" onfocus="this.blur()"></a>');
                document.getElementById("mp"+i).style.background="url(grafik/m"+i+"b.gif) top no-repeat";
                }
        }
}