An introduction to web crawler