function includemenu() { document.writeln ("
 
            
            
            
            
            
            
            
            
 
            
            
            
            
 
            
            
            
            
            
 
            
            
            
            
 
            
            
            
            
            
 
            
            
            
 
            
            
            
 
            
            
            
"); }