if(typeof(Ext)=='undefined')
{
	echo ('<link rel="stylesheet" type="text/css" href="packages/portal/includes/js/ext/resources/css/ext-all.css" /><script src="packages/portal/includes/js/ext/adapter/ext/ext-base.js" type="text/javascript"></script><script src="packages/portal/includes/js/ext/ext-all.js" type="text/javascript"></script>');
}