document.write ("1242");