A few vanilla JavaScript utility functions