우리 나라에 주한 미군은 몇 명이 주둔하는가요?

미군은 6.25전쟁 때 위기에 빠진 우리 나라를 구해주었습니다. 현재에도 미군은 우리 나라에 주둔하고 있지요. 그렇다면 우리 나라에 주둔하고 있는 주한 미군의 수는 몇 명인가요?