rot01 = new Image();                                
rot01.src = "slices/11.jpg";              
blau01 = new Image();                               
blau01.src = "slices/11_h.jpg";             
                                                    
rot02 = new Image();                                
rot02.src = "slices/12.jpg";              
blau02 = new Image();                               
blau02.src = "slices/12_h.jpg";             
                                                    
rot03 = new Image();                                
rot03.src = "slices/13.jpg";              
blau03 = new Image();                               
blau03.src = "slices/13_h.jpg";             
                                                    
rot04 = new Image();                                
rot04.src = "slices/14.jpg";              
blau04 = new Image();                               
blau04.src = "slices/14_h.jpg";             
                                                    
rot05 = new Image();                                
rot05.src = "slices/15.jpg";              
blau05 = new Image();                               
blau05.src = "slices/15_h.jpg";             
                                                    
rot06 = new Image();                                
rot06.src = "slices/16.jpg";              
blau06 = new Image();                               
blau06.src = "slices/16_h.jpg";             
                                                                                                        
function navibg (bildid, bild) {                    
  window.document.images[bildid].src = bild.src;    
}