<?

# index.ip que redirecciona al nuevo index.html

$destino="index.html";
header ("Location: $destino");
exit;

?>