function navMouseOver(x){
    var redball = document.getElementById(x + '-redball');
    redball.src = "redballBounce.gif";
}

function navMouseOut(x){
    var redball = document.getElementById(x + '-redball');
    redball.src = "redballOFF.gif";
}