document.write('Jeju (Cheju)');