3.90 GHz)