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.