// JavaScript Document //

// navigation hover 

function ho(imgname,imgfile){
document.images[imgname].src=imgfile
}