<!--
                // browser test:
        agent = navigator.userAgent
        browserVer = 2
        if( agent.indexOf("a/3",6) != -1 )
                {
                        browserVer = 1
                }
        else
        {
                if( agent.indexOf("a/4",6) != -1 )
                {
                        browserVer = 1
                }
        }

        // preload universal images:
        if (browserVer == 1)
        {

                pic1  = new Image();                pic1.src  = "images/menue_09.gif";
                pic1h = new Image();                pic1h.src = "images/menue-on_09.gif";
                pic2  = new Image();                pic2.src  = "images/menue_08.gif";
                pic2h = new Image();                pic2h.src = "images/menue-on_08.gif";
		pic3  = new Image();                pic3.src  = "images/menue_10.gif";
                pic3h = new Image();                pic3h.src = "images/menue-on_10.gif";
		pic4  = new Image();                pic4.src  = "images/menue_11.gif";
                pic4h = new Image();                pic4h.src = "images/menue-on_11.gif";
		pic5  = new Image();                pic5.src  = "images/menue_12.gif";
                pic5h = new Image();                pic5h.src = "images/menue-on_12.gif";
		pic6  = new Image();                pic6.src  = "images/menue_07.gif";
                pic6h = new Image();                pic6h.src = "images/menue-on_07.gif";
				
                

        function ImgFunc( imgDocID, imgObjName )
        {
                if( browserVer == 1 )
                {
                        document.images[ imgDocID ].src = eval(imgObjName + ".src")
                }
        }
		}
// -->
