주한 미군의 수는 몇 명이나 될까요?

우리나라 국방력 세계 7위 수준이라고 하는데요 군인의 수는 한국군이 많지만 주한 미군도 있습니다. 주한 미군의 수는 몇 명이나 될까요?