从123456789中提取前5位数,用什么公式?