function mnu(el) {
var nel;
d=document;
if (navigator.appName=="Netscape") {
nel=d.getElementsByName(el);
nel=nel[0];
}
else {
// a=d.all;
// for (i=0;i<a.length;i++) if (a[i].name==el) nel=a[i];
nel = document.getElementById(el);
}
nel.className=(nel.className=="mis1")?"mis2":"mis1";
}