function set1(n)
{ document.all("menu"+n).background="butbackground.gif"
}
function set(n)
{ document.all("menu"+n).background="butbackground2.gif"
}