if(document.images){
img417 = new Image();img417.src = "Files/Navigation/home.gif";img417Over = new Image();img417Over.src = "Files/Navigation/home-over.gif";

}