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