diff --git a/includes/general.php b/includes/general.php
index 03da9f0..80b16a0 100644
--- a/includes/general.php
+++ b/includes/general.php
@@ -25,6 +25,8 @@
 //	if($_SESSION['profile']['id'] > 0)
 //		session_regenerate_id();
 
+	$pageLoadTime_Start = microtime(true);
+
 	$junk = array(_("Face to Face Meeting"), _("Trusted Third Parties"), _("Thawte Points Transfer"), _("Administrative Increase"),
 			_("CT Magazine - Germany"), _("Temporary Increase"), _("Unknown"));
 
@@ -922,4 +924,22 @@
 		return $name;
 	}
 
+	/**
+	  * Run the sql query given in $sql.
+	  * The resource returned by mysql_query is
+	  * returned by this function.
+	  *
+	  * It should be safe to replace every mysql_query
+	  * call by a mysql_extended_query call.
+	  */
+	function mysql_timed_query($sql)
+	{
+		global $sql_data_log;
+		$query_start = microtime(true);
+		$res = mysql_query($sql);
+		$query_end = microtime(true);
+		$sql_data_log[] = array("sql" => $sql, "duration" => $query_end - $query_start);
+		return $res;
+	}
+
 ?>