some useful libs or simple function for javascript