Astroboy Mars (우주소년 마르스 ujusonyeon maleuseu) Is the localized Korean dub of Jetter Mars. 

There are two Korean dubs: A version done by KBS and another version that was on VHS.