学校图书室有文艺书8400本,科技书的本数是文艺书的7分之5,文艺书、科技书共多少本?