if (document.images) {
home1 = new Image(75,24)
home1.src ="/images/home1.gif" 
home2 = new Image(75,24)
home2.src ="/images/home2.gif"

details1 = new Image(188,24)
details1.src ="/images/details1.gif" 
details2 = new Image(188,24)
details2.src ="/images/details2.gif"

contact1 = new Image(110,24)
contact1.src ="/images/contact1.gif" 
contact2 = new Image(110,24)
contact2.src ="/images/contact2.gif"

}