Does anyone actually know what you should do when people are singing happy birthday to you.