// $Id: have_js.js,v 1.3 2002/04/21 10:24:17 short Exp $

// 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;
	}