document.write('
112,113,140
');document.write("");document.write("");