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