打一份文件甲要用1.2小时,比乙少用1/4小时,求乙用的时间是多少？