9月退職した人にも、12月に若干ボーナスの残りが出るって聞いたけど、本当かね。