document.write(' 00001207 ');