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