Some general javascript utlities and plugins