How do you evaluate #13!#?