document.write("
 "+txt+" 
"); }