How do you evaluate 13!?