(princ(! 1000))