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