
<!--

function over(name) {
document[name].src="images/bu_on_"+name+".gif";
}

function out(name) {
document[name].src="images/bu_off_"+name+".gif";
}

//-->


  <!--
function zweiFrames(head, main)
   { 
	window.top.frames[0].location=head;  
    window.top.frames[2].location=main;
	}
   
  //-->