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