Just some simple tools in JavaScript.