Convenient javascripts go here.