Example of using HTML script element containing a JavaScript