--- stats.php	2003-07-21 19:18:39.000000000 +0200
+++ stats.php	2003-07-21 19:24:35.000000000 +0200
@@ -65,12 +65,12 @@
 $rad = mysql_fetch_object($dkn);
 $hits=$rad->count;
 mysql_free_result($dkn);
-$dkn = mysql_query("SELECT bild, var FROM counter WHERE typ=1 && pid=".valla($HTTP_USER_AGENT)."");
+$dkn = mysql_query("SELECT bild, var FROM counter WHERE typ=1 && pid=".valla(getenv(HTTP_USER_AGENT))."");
 if (!$dkn) { echo mysql_errno(). ": ".mysql_error(). "<br>";	exit(); }
 $rad = mysql_fetch_object($dkn);
 $valla=$rad;
 mysql_free_result($dkn);
-$dkn = mysql_query("SELECT bild, var FROM counter WHERE typ=2 && pid=".op_sys($HTTP_USER_AGENT)."");
+$dkn = mysql_query("SELECT bild, var FROM counter WHERE typ=2 && pid=".op_sys(getenv(HTTP_USER_AGENT))."");
 if (!$dkn) { echo mysql_errno(). ": ".mysql_error(). "<br>";	exit(); }
 $rad = mysql_fetch_object($dkn);
 $os=$rad;