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