Is there someone who could give me a haircut at around 8:30 in the morning? Do you know of a barber in the area that works before 9:00 am? Thanks! -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.cs.huji.ac.il/pipermail/rbs/attachments/20120731/f7cdf90a/attachment-0001.html>