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