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