print qq~
    <script type="text/javascript">
        function Whatsoever() {
            myElement = window.document.getElementById....
	  …
            return true;
        }
    </script>
~;