function pic(id,src){
element=document.getElementById(id);
element.src=src;
}

function depic(id,src){
element=document.getElementById(id);
element.src=src;
}

function change(Adresse) {
  Fenster1 = window.open(Adresse,"iframe");
  Fenster1.focus();
}
function highlight(id,dot){
element=document.getElementById(id);
element.style.fontWeight="600";
element.style.color="006db3";

document.getElementById(dot).setAttribute("src","../blau.jpg");
}

function delight(id,dot){
element=document.getElementById(id);
element.style.fontWeight="400";
element.style.color="000000";

document.getElementById(dot).setAttribute("src","../gruen.jpg");
}

function res(a,b){
res = screen.height;
if (res<=768)
location.href=a; 
else
location.href=b;

}

function m_res(a,b){
res = screen.height;
if (res<=768)
parent.frames[1].location.href=a; 
else
parent.frames[1].location.href=b;

}


function kat_res(a,b){
res = screen.height;
if (res<=768)
parent.location.href=a; 
else
parent.location.href=b;

}