+MYSQL="mysql -u helm -h mowgli.cs.unibo.it matita"
+SQLQMARK="select distinct mark from bench where mark like '"
+SQLQORD="' order by mark;"
+SQLQTIME="select SUM(timeuser) from bench where mark = \""
+SQLQGRMARK="\" group by mark;"
+SQLQFAIL="select count(distinct test) from bench where mark = \""
+SQLQFAIL1="select distinct test from bench where mark = \""
+SQLQFAIL2="\" and result = 'fail';"
+URL="http://mowgli.cs.unibo.it/~tassi/bench.php"
+
+#initialization