图书馆有科技书7200本,连环画是科技书的十分之三,文艺书是连环画的五分之八倍,文艺书有多少本?