Prova così, ti semplifichi la vita:
al posto di
print("<script>document.location='prova.htm'</script>");
metti
header("locationrova.htm");