MySQL创建一个函数fun1,统计表中员工的人数