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