Getting .value with .onchange in IE

That header would be if you are calling an external file into JavaScript tags.

If you want PHP values into JavaScript in the page itself it would be similar to how it can be done to insert PHP values into HT?ML eg.

<script> 
  function something() {
    var a_variable = "<?php echo $a_php_variable ; ?>"; 
⋮