function changeImages() {
	if (document.images) {
		for (var i=0; i<changeImages.arguments.length; i+=2) {
			document[changeImages.arguments[i]].src = 'img/menu/'+changeImages.arguments[i+1]+'.gif';
		}
	}
}