document.write(' 00005042 ');