rulus.timer.js: replace "number" with a shortcut constant NUMBER
rulus.timer.js: small optimizations, comments