Information retrieval system in text-based skripsi document search file using vector space model method