A bunch of small Javascript utilities