function doHover(b,i)                                                                            
{                                                                                                   
 f = document[b].src;                                                                              
 f = f.substr(0,f.length-5);                                                                      
 f+=i+'.gif';                                                                                         
 document[b].src = f;                                                                               
}                                                                                                       

function do_Hover(c,j)                                                                                 
{                                                                                                    
 if (j=='b') { g = document[c].src;                                                                    
              g = g.substr(0,g.length-5);                                                           
              g = g+'c.gif';                                                                          
              document['banbild'].src = g;};                                                        
 if (j=='a') { g = document[c].src;                                                                 
              g = g.substr(0,g.length-7);                                                              
              g = g+'.gif';                                                                            
              document['banbild'].src = g;};                                                            
 h = document[c].src;                                                                                   
 h = h.substr(0,h.length-5);                                                                            
 h+=j+'.gif';                                                                                    
 document[c].src = h;                                                                                  
}                                                                                                      

