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