Could you please explain what ^13 means exactly? Why is it exactly 13 and not another number? What do they symbolize exactly? Thanks!

Later edit: Ok, so it's the same with ^p, but it works with wildcards, now I get it.

@macropod:
So you mean to say that it works with ^p in the replace tab, even though the wildcard option is turned on?

Another later edit: Well, it works with ^p, but it also works with ^13, so I'd tend to ask you the same question as Robert did.