// ********************* 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) {

snimky= new Image(220,31);
snimky.src = "/cz/img/snimky-obrazovek.gif";
ssnimky = new Image(220,31);
ssnimky.src = "/cz/img/snimky-obrazovek-s.gif";

demo= new Image(220,31);
demo.src = "img/on-line-demo.gif";
sdemo = new Image(220,31);
sdemo.src = "img/on-line-demo-s.gif";

start= new Image(126,57);
start.src = "img/download-verze-start.gif";
sstart = new Image(126,57);
sstart.src = "img/download-verze-start-s.gif";



}
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")
	}
}