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