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