update jslib.html