북한의 인구는 총 몇명인가요?

우리나라의 인구는 대략 약 5천만명인것으로 알고 있습니다.

그런데 북한의 인구는 총 몇명인지 궁금합니다.