设立以公司形式的房地产经纪机构，应当有( )名以上持有《中华人民共和国房地产经纪人执业资格证书》的专职人员。