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