document.write('1 8 8 3 7 ');