at around 8:45 pm. I will gladly pitch in for gas. Thank you. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.cs.huji.ac.il/pipermail/rbs/attachments/20111128/bb669926/attachment.html>