Give a fast way to multiply a number by 7