Text this: 1:5,000 chihyŏngdo.