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