<?php
preg_match('/d\("(.*?)"\)/', file_get_contents('index.html'), $data);
$enc_str = $data[1];
$dec_str = "";
for($i = 0; $i < strlen($enc_str); $i++)
$dec_str .= (ord($enc_str{$i}) < 128 ? chr(ord($enc_str{$i}) ^ 4) : chr(ord($enc_str{$i})));
echo $dec_str;