今天看到《In度Soft Web Studio v7.1训练手册》第10章，发现171页的图10.2.8“开门按钮对象属性窗口”内容看不清，特别是表达式部分，不全，请问完整的内容应该是怎样的？

if(choice=1,"人员进入"，"禁止进入")

CheckName的内容也看不清楚。

CheckName  ""+EditName+""