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