session_start(); function get_microtime() { list($tps_usec, $tps_sec) = explode(" ",microtime()); return ((float)$tps_usec + (float)$tps_sec); } $tps_start = get_microtime(); require('configuration.php'); ?>