Rodrigo, do you want a more general answer on "what is documentation?", as in "how do I document a name?", "how do I tell whether a source is good documentation?", and such like? Danihel de Lindo -- Tim McDaniel; Reply-To: tmcd at panix.com