function on(x)

{

document.getElementById("pic_"+x).src = "/pics/nav_on.gif";
}

function on_gal(x)

{

document.getElementById("pic_"+x).src = "/pics/nav_gal_on.gif";
}

function off(x)

{

document.getElementById("pic_"+x).src = "/pics/nav_off.gif";
}