function navOver(navid){
document.getElementById('nav0' + navid).src = "images/nav_0" + navid + "_over.gif";
}

function navOut(navid){
document.getElementById('nav0' + navid).src = "images/nav_0" + navid + ".gif";
}