How do you evaluate #9!#?