Thanks; but in that case I'll jsut copy-paste it for myself.

__________________
To the regular visitor of internet bulletin boards it is clear that it's an excellent idea your parents get to choose your real name.