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

}