document.write('2 0 7 5 1 ');