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