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