An introduction to the JavaScript programming language