(function () {var f = function () {
	};

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