// $Id$ // Prevent redirection of some top (referring) foreign webpage as it // may not pass "have_js=1" to us anyway. (for example Google cache) 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; }