function init_top()
{
   foreach(
       function(n){
           var s = n.getAttribute("src"),
               d = n.getAttribute("overpic");
           n.onmouseover = function(){ n.setAttribute("src", d); };
           n.onmouseout = function(){ n.setAttribute("src", s); };
       },
       filter(
           function(n){ return n.getAttribute("overpic"); },
           document.getElementsByTagName("IMG")));
}

window.init_stack.push(init_top);