Fast way to multiply a number by 7