document.write('004239');