- // The argument to the location.reload function determines
- // if the browser should retrieve the document from the
- // web-server. In our example all we need to do is cause
- // the JavaScript block in the document body to be
- // re-evaluated. If we needed to pull the document from
- // the web-server again (such as where the document contents
- // change dynamically) we would pass the argument as 'true'.
- //
- sURL=sURL+'?step=3&op=selectframeworks&fwklanguage='+value;
- window.location.replace( sURL );
-}
-//-->
-</script>
-</head>
-<body>
-<script language="JavaScript">
-function Hide(link) {
- subfield = document.getElementById('bloc'+link);
- var initstyle=subfield.style.display;
- if (initstyle == 'block') subfield.style.display = 'none' ;
- if (initstyle == 'none') subfield.style.display = 'block' ;
-}
-</script>
+ function doLoad()
+ {
+ // the timeout value should be the same as in the "refresh" meta-tag
+ setTimeout( "refresh()", 2*1000 );
+ }
+
+ function refresh(value)
+ {
+ // This version of the refresh function will cause a new
+ // entry in the visitor's history. It is provided for
+ // those browsers that only support JavaScript 1.0.
+ //
+ sURL=sURL+'?step=3&op=selectframeworks&fwklanguage='+value;
+ window.location.href = sURL;
+ }
+
+ //-->
+ </script>
+
+ <script language="JavaScript1.1">
+ <!--
+ function refresh(value)
+ {
+ // This version does NOT cause an entry in the browser's
+ // page view history. Most browsers will always retrieve
+ // the document from the web-server whether it is already
+ // in the browsers page-cache or not.
+ //
+ sURL=sURL+'?step=3&op=selectframeworks&fwklanguage='+value;
+ window.location.replace( sURL );
+ }
+ //-->
+ </script>
+
+ <script language="JavaScript1.2">
+ <!--
+ function refresh(value)
+ {
+ // This version of the refresh function will be invoked
+ // for browsers that support JavaScript version 1.2
+ //
+
+ // The argument to the location.reload function determines
+ // if the browser should retrieve the document from the
+ // web-server. In our example all we need to do is cause
+ // the JavaScript block in the document body to be
+ // re-evaluated. If we needed to pull the document from
+ // the web-server again (such as where the document contents
+ // change dynamically) we would pass the argument as 'true'.
+ //
+ sURL=sURL+'?step=3&op=selectframeworks&fwklanguage='+value;
+ window.location.replace( sURL );
+ }
+ //-->
+ </script>
+ </head>
+ <body>
+ <script language="JavaScript">
+ function Hide(link) {
+ subfield = document.getElementById('bloc'+link);
+ var initstyle=subfield.style.display;
+ if (initstyle == 'block') subfield.style.display = 'none' ;
+ if (initstyle == 'none') subfield.style.display = 'block' ;
+ }
+ </script>