if (typeof dotomiManager != "undefined")
	dotomiManager.tagUser("", 12);