<!--
                // 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/de-on.gif";
                pic1h = new Image();                pic1h.src = "images/de.gif";
                pic2  = new Image();                pic2.src  = "images/it-on.gif";
                pic2h = new Image();                pic2h.src = "images/it.gif";
		
        }

        function ImgFunc( imgDocID, imgObjName )
        {
                if( browserVer == 1 )
                {
                        document.images[ imgDocID ].src = eval(imgObjName + ".src")
                }
        }
// -->