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