string(13) "case, tau pai"