document.write('002479');