useful things for javascript