Ext.onReady(function() {
	function getDataFromAnchor(anchor, name) {
		name = name.replace(/[\[]/, "\\\[").replace(/[\]]/, "\\\]");
		var regexS = "[\\?&#]" + name + "=([^&#]*)";
		var regex = new RegExp(regexS);
		var results = regex.exec(anchor);
		if (results == null)
	    	return '';
		else
			return results[1];
	}

	var symbol = getDataFromAnchor(location.hash, 'symbol');
	var tab = getDataFromAnchor(location.hash, 'tab');

	if (symbol != '') {
		if (Ext.get('cc-mw-iframe')) {
			Ext.get('cc-mw-iframe').dom.src += '#symbol=' + symbol;

			if (tab != '') {
				Ext.get('cc-mw-iframe').dom.src += '&tab=' + tab;
			}
		}
	}
});