// ********************* Rollovers ******************* // check if the browser is Navigator 3 or higher: agent = navigator.userAgent; browserVer = 2; if (agent.substring(0,7) == "Mozilla") { if (parseInt(agent.substring(8,9)) >= 3) {browserVer = 1;} } // preload universal images: if (browserVer == 1) { uvod= new Image(33,10); uvod.src = "/web?asset=home.png"; iuvod = new Image(33,10); iuvod.src = "/web?asset=home-w.png"; pracovniky= new Image(126,10); pracovniky.src = "/web?asset=hledate-pracovniky.png"; ipracovniky = new Image(126,10); ipracovniky.src = "/web?asset=hledate-pracovniky-w.png"; praci= new Image(86,10); praci.src = "/web?asset=hledate-praci.png"; ipraci = new Image(86,10); ipraci.src = "/web?asset=hledate-praci-w.png"; kontakty= new Image(59,10); kontakty.src = "/web?asset=kontakty.png"; ikontakty = new Image(59,10); ikontakty.src = "/web?asset=kontakty-w.png"; reference= new Image(67,10); reference.src = "/web?asset=reference.png"; ireference = new Image(67,10); ireference.src = "/web?asset=reference-w.png"; } function hiLite(imgDocID,imgObjName) { // manages mouseOver animations // imgDocID - the name or number of the document image to be replaced // imgObjName - the name of the image object to be swapped in if (browserVer == 1) { document.images[imgDocID].src = eval(imgObjName + ".src") } } function changeImages() { if (document.images && (preloadFlag == true)) { for (var i=0; i