A wrapper generation system for PDF documents