document.write('004138');