The little bit extra is usually from inflation and the Consumer Price Index (CPI), that's why the current figure is $4133 or whatever it is.