document.write('008427');