document.write('
112,139,144
');document.write("");document.write("");