function show_coords(event)
{
z=document.getElementById('star')
x=event.clientX;
z.style.visibility="visible"
z.style.marginLeft=x-10+'px'
if(x>=810){z.style.visibility="hidden"}
}
function hide(){
z=document.getElementById('star')
z.style.visibility="hidden"
}
function show(){
x=document.getElementById('menu1')
x.style.visibility="visible"
}
function show2(){
x=document.getElementById('menu2')
x.style.visibility="visible"
}
function hide2(){
x=document.getElementById('menu1')
x.style.visibility="hidden"
}
function hide3(){
x=document.getElementById('menu2')
x.style.visibility="hidden"
}