function getCookie(){ return ''; }
function printCookie(){document.writeln(getCookie());}
function getCookieLanguage(){ return 'de'; }
function hasCookie(){ return false; }
function jump(){return true;}