<?php

function print_operation($x$y$op$result) {
    
printf("<p>%d %s %d = %s</p>"$x$op$y$result);
}

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

if (
$source) {
    
highlight_file(__FILE__);
    return;
}

$x = (int)$_GET["x"];
$y = (int)$_GET["y"];

printf("<!DOCTYPE html>");
printf("<html>");

printf("<head>");
printf("<meta charset=\"utf-8\" />");
printf("<link rel=\"icon\" href=\"/favicon.png\" />");
printf("<title>Operazioni tra %d e %d</title>"$x$y);
printf("<style>p { font-size: 1.3em; font-family: monospace; }</style>");
printf("</head>");

printf("<body>");
printf("<a href=\".\">Torna indietro</a>");
print_operation($x$y"+"$x $y);
print_operation($x$y"-"$x $y);
print_operation($x$y"x"$x $y);
print_operation($x$y"/"$y === "Divisione per zero!" $x $y);
print_operation($x$y"%"$y === "Divisione per zero!" $x $y);
print_operation($x$y"^"$x ** $y);
printf("</body>");

printf("</html>");
?>