\overline{987abcd}