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