要设定职工工资有效性规则在1000至4000元之间，当输入的数值不在此范围内时，则给出错误信息。要完成此功能，我们必须定义【 】。