
<?php



$source = $_GET["source"] ?? false;



if ($source) {

    highlight_file(__FILE__);

    return;

}



$num = $_GET["tab"];



printf("<!DOCTYPE html>");

printf("<html>");



printf("<head>");

printf("<meta charset=\"utf-8\" />");

printf("<link rel=\"icon\" href=\"/favicon.png\" />");

printf("<title>Tabellina del %d</title>", $num);

printf("</head>");



printf("<body>");

printf("<a href=\".\">Torna indietro</a>");

printf("<table border=\"1\">");

for ($i=1; $i <= 10; $i++) {

    printf("<tr>");

    printf("<td>%d x %d</td>", $num, $i);

    printf("<td>%d</td>", $num * $i);

    printf("</tr>");

}

printf("</table>");

printf("</body>");



printf("</html>");

?>