Some javascript utility.