A real time web crawler system