A short script in JavaScript.