Formula for dating age xkcd