if (document.images) {
	img10 = new Image();
	img10.src = "/i/nav/about_why_hi.gif"
	img20 = new Image();
	img20.src = "/i/nav/about_mgmt_hi.gif"
	img30 = new Image();
	img30.src = "/i/nav/about_news_hi.gif"
}