sorry for the noise! checking if the erlang mail server is functioning. I sent a reply yesterday, but it never arrived, and it has not appeared in the mail archives either. Cheers Fred