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