some basic javascript libraries