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