图书馆里故事书和科普书一共有2500本,故事书的本数是科普的4倍,两种书各有多少本?