PHP no puede interactuar directamente con Javascript, porque el primero se ejecuta del lado del servidor y el segundo del lado del cliente (navegador) y, lo que está pasando, es que tu script PHP en cuanto procesa header(...) envía los encabezados correspondientes al navegador para redireccionar a hola.html y deberías tener algo como:
Código HTML:
Ver original<script type="text/javascript"> function VerHola(){
window.location('hola.html');
}
<input name="boton" type="button" onclick="VerHola();" value="Enviar" />