if (typeof(__scripts) == "undefined")  { var __scripts = []; }
if (typeof(__scripts['jquery']) == "undefined")
{
	__scripts['jquery'] = { path: "/util/javascript/jquery-1.7.1", version: "1.7.1" };
	document.writeln('<script type="text/javascript" src="/util/javascript/jquery-1.7.1/jquery-1.7.1.min.js"></script>');
}