Minified theater JavaScript