document.write('1004020');