Multiply seven efficiently