f85tx42mad14oc - execution time: 0.250 sec.