图书馆文艺书本数的五分之四正好等于科技书本数的十分之三,已知科技书比文艺书多125本,文艺书有多少本?