Compute the dividend paid in x4: