// $Id$
-var searchN=window.location.search;
-if (searchN=="" || searchN=="?")
- searchN="?";
-else
- searchN+="&";
-searchN+="have_js=1";
+// Prevent redirection of some top (referring) foreign webpage as it
+// may not pass "have_js=1" to us anyway. (for example Google cache)
-window.location.href
- =window.location.protocol+"//"
- +window.location.hostname
- +window.location.pathname
- +window.location.hash
- +searchN;
+if (window.location.hostname=="www.energie.vellum.cz") {
+ 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;
+ }