|

Compute the dividend paid in x4: