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