Where do Web Spider stops? end of the file? or </html> tag?