document.write(' 10742 ');