Не
$f1=file($_SERVER["DOCUMENT_ROOT"]."log.html");
а
$f1=file($_SERVER["DOCUMENT_ROOT"]."/log.html");

и вообще в следующий раз хоть ошибку выкинь =)