<?php echo SERVER

pageLoadTimeStart(); if(isset($_GET['newdid'])) { $_SESSION['wid'] = $_GET['newdid']; header("Location: ".$_SERVER['PHP_SELF']); } else { $building->procBuild($_GET); } if($session->plus){ ?> <?php echo SERVER_NAME ?>

Calculated in pageLoadTimeEnd()-$start)*1000);?> ms
Server time: