# CGI change
print header(),
    pre(escapeHTML($dig));
# plus JS change
        $("#result").html(res);