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