Folks, FYI, I will be away for the next days. If we have Moslem friends among us, may I address them my greetings for the celebration of the end of Ramadaan tomorrow. Non-moslems, please ignore. Regards Roberto P.S.: for the Christians, today is the Day of the Three Kings. In my country, children hang their socks the evening before, and find them full of goodies in the morning.