function flipper(ob){
var line = document.getElementById("m"+ob);
if(line.className == "top-menu2") line.className = "top-menu";
else line.className = "top-menu2";
}