document.write('1004012');