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