just wanted to add, can't google it as google doesn't seem to search on
non alphanumeric characters. If anyone knows how to do that in google I
would also much appreciate it (sorry this is off topic).
:)