Actually I think it could be F10400 (F10k4?), F11200 (F11k2?) or F10800 (F10k8?)... there doesn't seem to be any kind of correlation though, maybe they'll just choose a nice number? I say F 12000 (F12k)