document.write("     12092");