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