"\#\:\`"