/* General purpose javascript */