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