function warn_ie()
{
	if(navigator.userAgent.indexOf("MSIE") != -1)
		alert("WARNING: you are using Internet Explorer.\n\n" +
		      "Internet Explorer does a very poor job of following standards that specify how pages should be displayed and may not render this site correctly.\n\n" +
		      "For best results, please use another browser like Google Chrome or Mozilla Firefox instead. " +
		      "These browsers are available for a variety of platforms and do a much better job of adhering to the standards.");
}