... #(generic code / beginning of HTML dumped here)

&$op();

... #(generic code / end of HTML dumped here)