Primero: como tu pagina actualmente tiene extensión html no vas a poder.
Lo que podes hacer es reemplazarla exactamente como esta, pero cambiale la extensión y ponete el nombre pagina.php.
Cuando hagas esto vas a poder agregarle donde mas te guste el codigo que pusiste mas arriba.
Código PHP:
Ver original<?php
if($_SERVER["HTTP_X_FORWARDED_FOR"]){
echo "La Ip de tu proxy es:{$_SERVER["REMOTE_ADDR"]}<br>";
echo "Tu IP es:{$_SERVER["HTTP_X_FORWARDED_FOR"]}";
}else{
echo "Tu IP es:{$_SERVER["REMOTE_ADDR"]}<br>";
}
?>
Espero que se entienda.
Saludos