A new repository for IHEC web search