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