<?
include "/htdocs/web/DevInfo.php";
?>
