2 \cdot 20!