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