The plug-in for JavaScript / HTML etc. works, but my script doesn’t; however, that’s a separate issue.
I found this plug-in : http://wordpress.org/extend/plugins/html-javascript-adder/
Which allows me to enter JavaScript, HTML, etc. into a widget box.