function getGParam(pname)  {
pname = pname.replace(/[\[]/,"\\\[").replace(/[\]]/,"\\\]") ;
var rx = new RegExp("[\\?&]"+pname+"=([^&#]*)") ;
var results = rx.exec(window.location.href) ;

if(results == null) {
return "";
} else 
return results[1] ;
}  

function setErrText() {

var err = (getGParam("err") === "1") ;

if (err) {
document.write("<div style=\"border: 2px solid red; padding: 10px; color: #222; background: #fff; margin-bottom:3em; width:650px\">"+
"<h1 style=\"margin-top:0\">Oops - Seite nicht gefunden / Page not Found!</h1>"+
"<p>Die angeforderte Seite konnte nicht gefunden werden.</p></div>");
}
return false ;
}