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