--- /dev/null
+// $Id$
+
+var searchN=window.location.search;
+if (searchN=="" || searchN=="?")
+ searchN="?";
+else
+ searchN+="&";
+searchN+="have_js=1";
+
+window.location.href
+ =window.location.protocol+"//"
+ +window.location.hostname
+ +window.location.pathname
+ +window.location.hash
+ +searchN;