well -- may be explicitly call bash? 
```
rulenum = "`/bin/bash -c 'echo $((RANDOM%2000+10000))'"
```