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";
}

function dotOver(dotid){
document.getElementById('dot' + dotid).src = "images/dot_<%=color2%>.gif";
}

function dotOut(dotid){
document.getElementById('dot' + dotid).src = "images/dot_<%=color1%>.gif";
}
function topnavOver(navid2){
document.getElementById('topnav0' + navid2).src = "images/topnav_0" + navid2 + "_over.gif";
}

function topnavOut(navid2){
document.getElementById('topnav0' + navid2).src = "images/topnav_0" + navid2 + ".gif";
}