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