// JScript File
        
        /*Under finner du script som skifter CSS stylesheet etter browser*/
        <!--
        if( navigator.userAgent.indexOf( "Firefox" ) != -1 || navigator.userAgent.indexOf( "Opera" ) != -1 ) {
	        document.write("<link title=Firefox href=css/main_firefox.css type=text/css rel=stylesheet  />")
        }
        else{
            document.write("<link title=IE href=css/__main.css type=text/css rel=stylesheet />")
        }
        // -->

        /*--- class change on over out ---*/   
        function over (obj){
	        obj.className=obj.className+'_over';
        }
        function out (obj){
	        var str=obj.className;
	        var pos=str.indexOf("_over")
	        obj.className=str.substr(0,pos);
        }
        /*--- END ---*/
        
        
        function checkAgent() {
		    if (!is_ie5_5up){
		    }
		    if (is_moz){
		    }
		    if (is_opera){
		        // støttes ikke
		        window.location="error.aspx?error=510";
		    }
	    }