// JavaScript Document
  function DoOver(Image, Text){
      document.getElementById(Text).style.color='blue'; document.getElementById(Image).src='images/icons/frosch_mini_anim.gif';
  }
  function DoOut(Image, Text){
      document.getElementById(Text).style.color="black";
      document.getElementById(Image).src="images/icons/frosch_mini.gif" ;
  }