朝鮮用兵,首尾八年,費帑金七百余萬。