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