打完一份文件,甲要四分之一小时,乙要五分之一小时,两人合打需要几小时?