Hello, What search engine is being used at linux.org.il and is it one of the free ones ? (It seems to cross index quite well with other Linux-related sites) Peter