I'd just like to chip in with the thank yous. I can only imagine how many people learnt about A* from your website. I know I am one, and I thank you sir.