","",$html); print $html; }else{ header("location:$fuente"); } ?>