IF HE WERE AT HOME, HE WOULD HAVE PHONED.

759.

If he were at home, he would have phoned.