document.write('8 0 7 2 ');