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