s=@sum(number(I) | I #le# 5: x);是什么意思