Formatting of javascript