3900 K