gcd

Find the greatest common divisor of $2^{1001}-1$ and $2^2-1$.