Kelly received a $60,000 salary during 2020. Her federal income tax withholding rate was 20%, and the Social Security base amount for 2020 was $137,700. The total amount that her employer should have withheld in 2020? is ________.