We found a very unhappy looking dog, and the dog catcher took her so, if your dog has gone missing, call the dog catcher -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.cs.huji.ac.il/pipermail/rbs/attachments/20111010/07534c19/attachment.html>