document.write('10742 ');