if(typeof default_20111130 == "undefined") default_20111130={};
default_20111130_class = function() {};
Object.extend(default_20111130_class.prototype, Object.extend(new AjaxPro.AjaxClass(), {
	AjaxCheckStudentLogin: function() {
		return this.invoke("AjaxCheckStudentLogin", {}, this.AjaxCheckStudentLogin.getArguments().slice(0));
	},
	AjaxUrlEncode: function(url) {
		return this.invoke("AjaxUrlEncode", {"url":url}, this.AjaxUrlEncode.getArguments().slice(1));
	},
	url: '/ajaxpro/default_20111130,App_Web_default_20111130.aspx.799472f7.ashx'
}));
default_20111130 = new default_20111130_class();