if (document.all) {
	document.title = "IE " + navigator.userAgent.toLowerCase().match(/msie\s*([^;]*)/)[1] + " - " + document.title;
}