12.3.1 exist函数