if (document.images) {
		ImgSrc[9] = "../images/header_search_over.gif";
		ImgSrc[10] = "../images/header_profile_header_searc.gif";
		ImgSrc[11] = "../images/header_profile_over.gif";
		ImgSrc[12] = "../images/header_sitemap_header_searc.gif";
		ImgSrc[13] = "../images/header_sitemap_over.gif";
	}