(function () {var f = function () {};
	if (document.body) { f(); } else { document.addEventListener('DOMContentLoaded', f); }
}());