Ah! $2^9 = 512 \equiv 512 \mod 25$: $25 \cdot 20 = 500$, $512 - 500 = 12$.