```php
<?php echo('stop'); ?>
```