If you insert your lines in this form , in fact you accsess a .php file, this case form_1.php.

How it works?

Make a file form_1.php , put the code in it, then make reference on it, from an .html page.

Check the code in your browser.