if (document.images) {
de=new Image(); de.src="images/anim_top.gif";

}

image1=new Image(); image1.src="images/top/home2.gif";
image1=new Image(); image1.src="images/top/post2.gif";
image1=new Image(); image1.src="images/top/lupa2.gif";

  function imagechange(idname, src)
{
 var img;
 img=document.getElementById(idname);
 if (img)
 {
   img.src=src;  
 }
}