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