A short introduction to JavaScript