Using javascript to count the number of search results (android doesn't seem to have a suitable function) -- unfinished feature!