actual minified versions of javascript