function menu1() { location.href = "#"; }
function menu2() { location.href = "#"; }
function menu3() { location.href = "#"; }