
function colorizeTableRows($a){
var $b=document.getElementById($a)
var $c=$b.getElementsByTagName("tr")
for(var i=0;i<$c.length;i++){
$d=(i%2==0)?"#f7f7ed":""
$c[i].bgColor=$d}}
function loadFrames(){
if(parent.frames.length==0||parent.frames.length==1)top.location.href="index.html";
if(parent.frames.length==3&&!(parent.parent.frames.length==2||parent.parent.frames.length==4))top.location.href="index.html";
if(self.name=="content"){
makeMenuBar();}}
function getCookie(name){
var $e=name+"=";
var $f=$e.length;
var $g=document.cookie.length;
var i=0;
while(i<$g){
var j=i+$f;
if(document.cookie.substring(i,j)==$e)
return getCookieVal(j);
i=document.cookie.indexOf(" ",i)+1;
if(i==0)break;}
return null;}
function getCookieVal($h){
var $i=document.cookie.indexOf(";",$h);
if($i==-1)$i=document.cookie.length;
return unescape(document.cookie.substring($h,$i));}
function setCookie(name,$j){
var $k=new Date();
$k.setMonth($k.getMonth()+7);
document.cookie=name+"="+escape($j)+"; expires="+$k.toUTCString()+"; path=/";}
var $l=72;
var $m=8;
var $n=90;
var $o=72;
var $p=180;
var $q=21;
var $r=$n-$l-$m;
var $s=16;
var $t=16;
var $u='../gfx/menubar/';
var $v='.gif';
var $w=null;
var $x=null;
var $y=-1;
var $z=null;
function createElement($A,$B,$C){
var $D=document.createElement($B);
if($C&&$C!=null&&$C!=undefined&&$C!=''){
$D.id=$C;}
if($A&&$A!=null&&$A!=undefined){
$A.appendChild($D);}
return $D;}
function createImageAll($A,$E,$F,$G,$H,$I){
var $J=createElement($A,'img','img_'+$E);
$J.src=$u+$E+$v;
initElement($J,true,$F,$G,$H,$I,$A.style.zIndex+1);
return $J;}
function createImage($A,$E){
return createImageAll($A,$E,$A.style.width,$A.style.height,0,0);}
function initElement(element,$K,$L,$M,$N,top,$O){
if($K==true){
element.style.position='absolute';}else{
element.style.position='relative';}
element.style.width=$L;
element.style.height=$M;
if($O>=0){
element.style.zIndex=$O;}
setElementPosition(element,$N,top);}
function setElementPosition(element,$N,top){
element.style.left=$N;
element.style.top=top;}
function getEventTarget(event){
return(event.target)?event.target:event.srcElement;}
function getMenuIndexFromEvent(event){
var $P=getEventTarget(event).id;
if($P){
return Number($P.replace('imgIcon',''));}else{
return null;}}
function getMenuElementFromEvent(event){
var $Q=getMenuIndexFromEvent(event);
if(isNaN($Q)){
return null;}else{
return $w[$Q];}}
function onScroll(event){
centerMenuBarFrame();}
function onWindowResize(event){
centerMenuBarFrame();}
function onMouseClick(event){
var $R=getMenuElementFromEvent(event);
if($R){
var $S=getMenuMainElement($R);
if($S&&$S.href){
window.location.href=$S.href;}}else{
hideMenu();}}
function getMenuByIndex($T){
var $U=document.getElementById('currentMenu'+$T);
return $U;}
function hideMenu(){
if($y>=0){
var $U=getMenuByIndex($y);
$U.style.visibility='hidden';
$y=-1;}}
function showMenu($T){
hideMenu();
var $U=getMenuByIndex($T);
$U.style.visibility='';
$y=$T;}
function getParent(element,$V){
var parent=element;
for(var i=0;i<$V;i++){
if(parent){
parent=parent.parentNode;}}
return parent;}
function getNext(element,$V){
var $W=element;
for(var i=0;i<$V;i++){
if($W){
$W=$W.nextSibling;}}
return $W;}
function shallMenuStay($X){
if($X==null){
return true;}else{
if($X.id=='currentMenu'+$y)return true;
if($X.id=='divMenuIcon'+$y)return true;
if($X.id=='submenu')return true;
var $Y=getParent($X,1);
if($Y&&$Y.id=='submenu')return true;
$Y=getParent($X,2);
if($Y&&$Y.id=='submenu')return true;
var $Z=getNext($X,2);
if($Z&&$Z.id=='submenu')return true;
if($X.nodeName=='LI'){
var $00=getMenuMainElement($X);
if($00){
$00=getNext($00,2);
if($00&&$00.id=='submenu')return true;}}
return false;}}
function onMouseMove(event){
var $Q=getMenuIndexFromEvent(event);
if($Q==null||isNaN($Q)){
if($y>=0&&!shallMenuStay(getEventTarget(event))){
hideMenu();}}else{
if($Q!=$y){
showMenu($Q);}}}
function appendClonedNode($01,$02){
var $03=createElement($01,$02.nodeName,$02.id);
var $04=$02.attributes;
if($04){
for(var i=0;i<$04.length;i++){
$03.setAttribute($04[i].nodeName,$04[i].nodeValue);}}
var $05=$02.childNodes;
for(var i=0;i<$05.length;i++){
if($05[i].nodeType==1){
appendClonedNode($03,$05[i]);}
if($05[i].nodeType==3){
var $06=$05[i].nodeValue;
if($06==null||$06==undefined)$06="";
var $07=document.createTextNode($06);
$03.appendChild($07);}}
if($01&&$01!=null&&$01!=undefined){
$01.appendChild($03);}
return $03;}
function setInnerText($08,element,$09){
var $07=$08.createTextNode($09);
if(element.hasChildNodes()&&element.firstChild){
element.replaceChild($07,element.firstChild);}else{
element.appendChild($07);}}
function cloneMenu($0a,$0b){
var $0c=appendClonedNode($0a,$0b);
var $0d=getMenuMainElement($0b);
var $0e=getMenuMainElement($0c);
if($0e&&$0d&&$0d.href){
$0e.href=$0d.href;}
var $0f=getMenuSubElements($0b);
var $0g=getMenuSubElements($0c);
for(var j=0;j<$0g.length;j++){
var $0h=$0f[j];
var $0i=$0g[j];
$0i.href=$0h.href;}
return $0c;}
function createMenusAndHide($0j){
for(var i=0;i<$w.length;i++){
var $R=$w[i];
var $U=createElement($0j,'div','currentMenu'+i);
var $0c=cloneMenu($U,$R);
var $0k=getMenuSubElements($0c).length;
var h=$q*($0k+1);
var x=(i+1)*$l-($p-$l)/2.0;
var y=(h*-1)+1;
initElement($U,true,$p,h,x,y,4);
$U.style.visibility='hidden';
if(isInternetExplorer()){
$U.style.background='white';
$U.style.filter='alpha(opacity = 90)';}}}
function createMenuIcons($0l){
var x=$l;
for(var i=0;i<$w.length;i++){
var $0m=createElement($0l,'div','divMenuIcon'+i);
initElement($0m,true,$l,$l+$r,x,0,6);
var $R=$w[i];
var $0n=getMenuMainId($R);
var $0o=createImageAll($0m,$0n,$l,$l,0,$r);
$0o.id='imgIcon'+i;
var $0p=createImage($0m,$0n+"_mirror");
$0p.id='imgIconMirror'+i;
$0p.style.top=pixelToNumber($0p.style.top)+$r+$l*0.80;
$0p.style.opacity='0.70';
$0p.style.filter='alpha(opacity = 70)';
$0p.style.zIndex=$0p.style.zIndex-2;
x=x+$l;}}
function createMenuBarImageDiv($0l,$0q,x,y){
var $0r=createElement($0l,'div',$0q);
initElement($0r,true,$l,$o,x,y,4);
return $0r;}
function createMenuBarImage($0l){
var x=0;
var y=$n-$o;
var $0s=createMenuBarImageDiv($0l,'divMenuImageLeft',x,y);
createImage($0s,'menuLeft');
x=x+$l;
for(var i=0;i<$w.length;i++){
var $0t=createMenuBarImageDiv($0l,'divMenuImage'+i,x,y);
createImage($0t,'menuMiddle');
x=x+$l;}
var $0u=createMenuBarImageDiv($0l,'divMenuImageRight',x,y);
createImage($0u,'menuRight');}
function pixelToNumber($0v){
if(isNaN($0v)){
return Number($0v.replace('px','').replace('pt',''));}else{
return $0v;}}
function getInnerHeight(){
if(window.innerHeight){
return window.innerHeight;}else{
if(document.body){
return document.body.clientHeight;}else{
return null;}}}
function getInnerWidth(){
if(window.innerWidth){
return window.innerWidth;}else{
if(document.body){
return document.body.clientWidth;}else{
return null;}}}
function centerMenuBarFrame(){
if($x){
var x=pixelToNumber(getInnerWidth())/2 - pixelToNumber(divMenuBarFrame.style.width)/2;
var y=pixelToNumber(getInnerHeight())-pixelToNumber($x.style.height)-$s;
if(!isInternetExplorer()){
$x.style.position='fixed';}else{
$x.style.position='absolute';
y=y+document.body.scrollTop;}
setElementPosition($x,x,y);}}
function createCenteredMenuBarFrame($A){
var $x=createElement($A,'div','divMenuBarFrame');
$x.style.overflow='visible';
initElement($x,true,$l*($w.length+2),$n+1,0,0,1);
return $x}
function createCenteredMenuBar($A){
var $0l=createElement($A,'div','divMenuBar');
$0l.style.overflow='hidden';
initElement($0l,false,$l*($w.length+2),$n,0,1,2);
createMenuBarImage($0l);
createMenuIcons($0l);
return $0l}
function getMenuMainElement($0w){
var $0x=$0w.getElementsByTagName("p")[0];
if($0x)return $0x;
else return $0w.getElementsByTagName("a")[0];}
function getMenuMainId($0w){
var $0y=$0w.getElementsByTagName("div")[0];
var $0z=$0y.getElementsByTagName("ul")[0];
return $0z.id;}
function getMenuSubElements($0w){
var $0y=$0w.getElementsByTagName("div")[0];
if($0y){
var $0z=$0y.getElementsByTagName("ul")[0];
if($0z){
return $0z.getElementsByTagName("a");}}
return new Array();}
function adaptImagePath(){
if(location.href.indexOf('ernesto.html')==-1){
$u='../../gfx/menubar/';}else{
$u='../gfx/menubar/';}}
function moveIcons(){
var $0A=0;
for(var i=0;i<$z.length;i++){
if($z[i]>=$t*2){
$z[i]=0;}
if(i==$y||$z[i]>0){
$z[i]++;
$0A++;
var $0o=document.getElementById('imgIcon'+i);
if($0o){
if($z[i]>$t){$0o.style.top=pixelToNumber($0o.style.top)+1;}
else{$0o.style.top=pixelToNumber($0o.style.top)-1;}}
var $0p=document.getElementById('imgIconMirror'+i);
if($0p){
if($z[i]>$t){$0p.style.top=pixelToNumber($0p.style.top)-1;}
else{$0p.style.top=pixelToNumber($0p.style.top)+1;}}}}}
function initIconMovement(){
$z=new Array();
for(var i=0;i<$w.length;i++){
$z[i]=0;}
setInterval(moveIcons,32);}
function extendBottomMargin($0B){
var $0C=$0B.getElementsByTagName("div");
var $0D=$0C.length-1;
if($0D>=0){
var $0E=$0C[$0D];
if($0E){
$0E.style.marginBottom=pixelToNumber($0E.style.marginBottom)+100;}}}
function downSizeFrameSet(){
var $0F=parent.document.getElementById('hagruFrameSet');
$0F.cols='0,*,220';}
function upSizeFrameSet(){
var $0F=parent.document.getElementById('hagruFrameSet');
$0F.cols='240,*,220';}
function getBrowserVersion(){}
function getBrowserName(){
return navigator.appName;}
function isInternetExplorer(){
return(navigator.appName.indexOf('Microsoft')>=0);}
function compatibleBrowser(){
if(!isInternetExplorer())return true;
var $0G=navigator.appVersion;
var $T=$0G.indexOf('MSIE');
if($T>=0){
$0G=$0G.substring($T+4,$0G.length);}
var $T=$0G.indexOf('.');
if($T>=0){
$0G=$0G.substring(0,$T);}
var $0H=Number($0G);
return($0H>=5);}
function makeMenuBar(){
if(compatibleBrowser()){
adaptImagePath();
downSizeFrameSet();
$w=parent.menu.document.getElementsByTagName('li');
var $0B=document.getElementsByTagName('body')[0];
extendBottomMargin($0B);
$x=createCenteredMenuBarFrame($0B);
centerMenuBarFrame();
var $0l=createCenteredMenuBar($x);
createMenusAndHide($x);
initIconMovement();
if(document.addEventListener){
document.addEventListener('click',onMouseClick,true);
document.addEventListener('mousemove',onMouseMove,true);}else if(document.attachEvent){
document.attachEvent('onclick',onMouseClick);
document.attachEvent('onmousemove',onMouseMove);}
if(window.addEventListener){
window.addEventListener('resize',onWindowResize,false);}else if(window.attachEvent){
window.attachEvent('onresize',onWindowResize);
window.attachEvent('onscroll',onScroll);}
initMenuTypeButton();}else{
hideMenuTypeButton();
showClassicMenu();}}
function showClassicMenu(){
var $0I=parent.menu.document.getElementById('topitem');
if($0I){
$0I.style.visibility='';
$0I.style.overflow='auto';
$0I.style.height='';
$0I.style.width='';}
if($x)$x.style.visibility='hidden';
upSizeFrameSet();}
function hideClassicMenu(){
var $0I=parent.menu.document.getElementById('topitem');
if($0I){
$0I.style.visibility='hidden';
$0I.style.overflow='hidden';
$0I.style.height=0;
$0I.style.width=0;}
if($x)$x.style.visibility='';
downSizeFrameSet();}
var $0J='hagru.switchmenu';
var $0K='Show Classic Menu';
var $0L='Show Modern Menu';
var $0M='Klassisches Menü';
var $0N='Modernes Menü';
function getTextForMenuSwitch($0O){
if(location.href.search('/de/')<0){
if($0O)return $0K;
else return $0L;}else{
if($0O)return $0M;
else return $0N;}}
function switchMenuType(){
getTextForMenuSwitch(true);
getTextForMenuSwitch(false);
var $0P=parent.quotation.document.getElementById('switchmenu');
var $0Q=getCookie($0J);
if($0Q&&$0Q=='modern'){
if($0P)setInnerText(parent.quotation.document,$0P,getTextForMenuSwitch(true));
setCookie($0J,'classic');
hideClassicMenu();}else{
if($0P)setInnerText(parent.quotation.document,$0P,getTextForMenuSwitch(false));
setCookie($0J,'modern');
showClassicMenu();}}
function initMenuTypeButton(){
var $0P=parent.quotation.document.getElementById('switchmenu');
var $0Q=getCookie($0J);
if($0Q&&$0Q=='modern'){
if($0P)setInnerText(parent.quotation.document,$0P,getTextForMenuSwitch(false));
showClassicMenu();}else{
if($0P)setInnerText(parent.quotation.document,$0P,getTextForMenuSwitch(true));
hideClassicMenu();}}
function hideMenuTypeButton(){
var $0P=parent.quotation.document.getElementById('switchmenu');
if($0P)$0P.style.visibility='hidden';}

