document.write(' 00007142 ');