// JavaScript Document///////////// Hover /////////////
var myimages=new Array()
function preloadimages(){
for (i=0;i<preloadimages.arguments.length;i++){
myimages[i]=new Image()
myimages[i].src=preloadimages.arguments[i]
}
}
function giffade(imgName)  {
        if (document.images) {
                document[imgName].src = "images/nav/" + imgName + "-hov.gif"
        }
}
function gifdie(imgName) {
        if (document.images)  {
                document[imgName].src = "images/nav/" + imgName + ".gif"
        }
}

preloadimages("images/nav/about-hov.gif","images/nav/news-hov.gif","images/nav/cv-hov.gif");