$have_js=(isset($HTTP_GET_VARS["have_js"]) || isset($HTTP_POST_VARS["have_js"])
? "?have_js=1" : "");
if (isset($detect_js) && !$have_js)
- $head.='<script type="text/javascript" src="have_js.js"></script>'."\n";
+ $head.='<script type="text/javascript" src="'.(!isset($energie_base) ? "" : $energie_base).'have_js.js"></script>'."\n";
$user_agent=(!isset($HTTP_SERVER_VARS["HTTP_USER_AGENT"]) ? "" : $HTTP_SERVER_VARS["HTTP_USER_AGENT"]);
if (ereg("[[:<:]]MSIE ([0-9]+)\\.",$user_agent,$msie_major_a))