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