Machida first junior high school Pool ceiling repair work