The following syntax can also be used:

```php
$%s = 142; // Numeric message ID
```