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