document.write(' 1242 ');