proper extension for js file