An introduction to JavaScript in a web browser