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