document.write ("1242 ");