function _$(controlId)
{
	if (controlId.id)
		return controlId;
	else
		return document.getElementById(controlId);
}

function Include(jsname)
{
	var h = document.getElementsByTagName('head').item(0);
	var script = document.createElement('script');
	script.src = jsname + "?ver=" + javascript_version;
	script.type = 'text/javascript';
	h.appendChild(script)
}

Include("/common/js/flash.js");
Include("/common/js/validations.js");
Include("/common/js/utils.js");