若文艺书和历史书一共有6300本,则图书馆一共有图书多少本?