王老师打一份文件,原计划每天打10页,15天完成,实际每天的工作效率提高了25%,可提前几天完成?