, « ~ [ 8200]