Thanks, Mr. Chair. Thanks to the folks here today.
The first question I want to touch on is something we haven't heard much of in the last couple of years, but a few years ago it was a hot topic. It's the whole idea around the lump sum payment and how much it is.
First, can you tell us what is the maximum amount for the lump sum payout for 2013?