A tiny search engine