一番小さいものが$HK15、その次がHK$18