if (!document.jsUtilDefined) 
{
	document.jsUtilDefined=true;
	document.write("</script>");
	document.write("<script language=javascript src=/_js/util.js type=text/javascript></script>");
}