14256 /* stored values */