淘气和笑笑绕公园各跑一圈,淘气用了5/12小时,笑笑用了7/15小时,谁用的时间多?谁跑的快?