A fast trick to multiply by 11