function overnav(prefix) 
{
    changeimg(prefix, 2);
}

function outnav(prefix) 
{
    changeimg(prefix, 1);
}

function changeimg(prefix, imgnum) 
{
    document.getElementById(prefix + "_nav").src = "SiteImages/" + prefix + imgnum + ".jpeg"; return true;
}