if(document.images != null) {

	image1=new Image()
	image1.src="images/contacts_2.gif"
	image1a=new Image()
	image1a.src="images/contacts_2_over.gif"

} else {
	// Ignore function for old browsers.
}

function filter(imagename,objectsrc){
	if (document.images) {
		document.images[imagename].src=eval(objectsrc+".src");
	}
}