Something along that line (oops, pun not intended). I was thinking 14000 of something, not sure exactly what that is, until I realized it was kind of obvious.
Indeed a decade ago I would not have any doubts. Using "k" to refer to "kB" was much more common.
k is very common shorthand for kB, at least historically.