function mouseOver1()
{
    document.getElementById("Button1").src = "Nav/Button1MouseOver.png"
}
function mouseOut()
{
document.getElementById("b1").src="b_pink.gif"
}