I have an HTML document, which loads content from a PHP file using an AJAX call. The important bit of m