form with output dumping in a php file