if (document.images)
	{
		home_icon_color = new Image()
		home_icon_color.src = "/img/home_icon_color.gif"
		map_icon_color = new Image()
		map_icon_color.src = "/img/map_icon_color.gif"
		//magnifier_icon_color = new Image()
		//magnifier_icon_color.src = "/img/magnifier_icon_color.gif"
		link_icon_color = new Image()
		link_icon_color.src = "/img/link_icon_color.gif"
		letter_icon_color = new Image()
		letter_icon_color.src = "/img/mail_icon_color.gif"
	}
	function roll(image1, reference1)
	{
	if (document.images)
	{
		document.images[image1].src = reference1;
	}
	}