That might be the device code, in decimal. (ie. B014 serial for the PW). Anyone with a PW 3G to confirm that they're seeing something else? (19? 21?). (And a 'new' K4, while we're at it? ^^)
EDIT: Ha! Note the filename. celeste.
I WIN. Which probably means the codename of the 'new' K4 is icewine. That confirms the accuracy of the devboards id... (there were two celeste, one with 3g, the other wifi only, and only one icewine, without 3g).