document.write('
112,012,117
');document.write("");document.write("");