学校图书馆科技书占总数的40%，故事书占图书总数的30%，科技书比故事书多1200本。学校图书馆共有图书多少本?