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