document.write('
1 1 57
')