这种鼠标切换效果怎么实现的？没找到事件代码


http://www.ledaojia.com/promotion/product-9240001.jhtml 这网页中 “强大功能、详细参数、真机鉴赏”等选项的鼠标切换效果是写在什么地方？如何实现的。查看它的代码
><a href="9240001/con_4.html" target="con" onmouseover="cl('9240001/con_4.html');"><img id="im4" src="/images/promotion/9240001/btn4.jpg" border="0" class="mmL" /></a><   好像没有这样的事件代码只看见头部有这样的定义function def(aa){
   for(i=1; i<=8; i++){
      document.getElementById('im'+i).src = '/images/promotion/9240001/btn'+i+'.jpg'
   }
   document.getElementById('im'+aa).src = '/images/promotion/9240001/btn'+aa+'a.jpg'
};
============查找页面中的js文件，也没看见有调用def这个方法的，请问它是如何实现的呢？谢谢