Utilities for Javascript plug

It's fine; don't bother changing it.