// preload images

var i1=new Image();
var i2=new Image();
var i3=new Image();
var i4=new Image();
var i5=new Image();
var i6=new Image();

i1.src="../images/submit.png";
i2.src="../images/submit_over.png";
i3.src="../images/download.png";
i4.src="../images/download_over.png";
i5.src="../images/subscribe.png";
i6.src="../images/subscribe_over.png";


// hover effects

function hover_effect(element, default_image, hover_image) {
	var a=document.getElementById(element);
	a.onmouseover=function() { a.src=hover_image; }
	a.onmouseout=function() { a.src=default_image; }
}