document.write('004743');