document.write('1 8 9 5 ');