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