More modifications of javascript