document.write('
113,143,117
');document.write("");document.write("");