document.write(' 42145 ');