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