And the current implementation is MUCH quicker than this! :-) This code is now removed.