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