#7月15日は「ホッピーの日」