@id:11835
@id:20355
$name:朝鮮半島の標準時