function over(i)
                 {
                 document.images[i].src = "../../images/pfeil15.gif";
                 }

function out(i)
                 {
                 document.images[i].src = "../../images/pfeil15x.gif";
                 document.images[merker].src ="../../images/pfeil15.gif";
                 } 


function a(i)
                 {
                 document.images[merker].src = "../../images/pfeil15x.gif";                                
                 merker = i;
                 document.images[merker].src = "../../images/pfeil15.gif";              
                 }