Hello! FYI, erlang.org will be off-line between 09:00 and 16:00 CET tomorrow (moving our servers to a new location). Naturally, one shouldn't forget Murphy's Laws (http://www.fourjokers.co.uk/murphy/): - "If there is a possibility of several things going wrong, the one that will cause the most damage will be the one to go wrong." /Nick