re-crammed and re-minified run.js