On 8/31/2015 7:28 AM, Valeri Galtsev wrote: > Boy, so we do everything through google these days? you could use Bing or DuckDuckGogo (or whatever its called) or whatever search engine floats your boat. -- john r pierce, recycling bits in santa cruz