'PHP:
highlight_string("\1")
',