<?php echo("Bedankt!"); ?>