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