農暦七月初十。処暑。家人誕生日＝海洋公園無料、同伴者３割引きで猛烈な暑さのなか海洋公園へ。入場料は大人HKD345で２人なら１万円、今日は２人でHKD240だから……で多少気軽に来た私なのに、大陸からの家族連れ旅行者も多し。午前十時の開園で芋洗ふやうな…