[$1]', (string) $string); } }