document.write('10242 ');