I want to change the document title but cant get it to work. I am working with the following code:

echo "<input type='textbox' id='print' value='".$row['formuliernummer']."'>";

<script type="text/javascript">

var print = document.getElementById("print");

document.title = print;

</script>

The formuliernummer comes from a db.