Julio's mortality for 1 < / < 4 is governed by tp^ — 3(4 — /), and Harold's mortality for 1 < r < 5 is governed by tPx — -25(5 — f).

If / — .07, fmd the value at time of an annuity which pays 1000 at the end of each year as long as both Julio and Harold are alive.