What is that worth now after inflation?