if(typeof(g_arrLoadedJavaScript) == 'undefined')
	var g_arrLoadedJavaScript = [-1772613029];
else
	g_arrLoadedJavaScript.push(-1772613029);