i tried this:
if ""<>readprofilestring("c:\test kix\wksta.ini","name",@wksta)
shell "v:\setup\sms\remsms.bat"
endif

in wksta file :
[name]
@wksta = KDWN3DW
@wksta = kdpp4zp

The shell command doesn't run, any idea where i'm wrong ?