Thank you all for your replies; mission accomplished. Thanks, Yechiel -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.cs.huji.ac.il/pipermail/rbs/attachments/20090607/4660d08e/attachment-0001.html>