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