what is the reval2003.inktomi.com 'spider'?

what is the meaning of the reval2003 inktomi spider frequenting some pages,

[Drreggae]

What is reval2003.inktomi.com, it mostly seems to come to some site main indexes, but also some deeper pages in some sites.

For the rest I only see inktomi spiders/crawlers called fjXXXX.inktomitsearch.com with XXXX being some number
and ljXXXX.inktomisearch.com

also is there anything specific about these 2?

regards!