小红买了一本童话书和一本漫画书，共用去23.8元，其中童话书9.28元，漫画书应该是多少元？