<!--

    
   
function head() { 
          
        document.write(head_title);
        
           	 }

//-->