document.write("     1242");