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