document.write('004887');