document.write('10712 ');