document.write("<table border>");
document.write("<tr><th>Name</th><th>SQL Engine</th><th>Available</th></tr>");
for (var i=0;i<sl.length;i++){
  document.writeln("<td><b>",sl[i][0] +"</b></td><td>");
  document.writeln(sl[i][1] +"</td><td>");
  document.writeln("<img height='28' width='28' name=\"b"+sl[i][0]+"\"" +
                   " src=\"execsql.pl?OK=1\&engine=",sl[i][0],
                   "\&r=1",Math.random(), "\"> ",
                   "</td></tr>");
  }
document.write("</table>");

function mkLinks(engList, fileList){
var ba="<a href='http://sqlzoo.net/data/datadist.cgi?";
for (var i=0;i< engList.length;i++){
  document.write(ba+"linenumber=1&linecount=50&repeatpost=on&target=&");
  document.write("engine="+engList[i]+"&");
  for (var j=0;j < fileList.length;j++)
    document.write("tabname="+fileList[j]+"&");
  document.writeln("'>" + engList[i]+"</a> ");
  }
}