what is the time/retired value of driver pedro diniz?
+5 laps