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