document.write(' 10712 ');