For this linem and the `echo <script>` part below, let's just output directly with `?>..<?php`