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