document.write(' 10142 ');