한국 주식시장 규모는 세계 몇위인가요?

안녕하세요 다른 질문을 하다 문득 생각났는데요 한국 주식시장은 세계 몇위정도 하는지 궁금합니다!

삼성전자라는 거대한 기업이 이끌고 있지만 규모는 작을거 같아 궁금하네요