function selectCurrency(currency) {
	ajaxStart();
	CurrencySelector_obj.setCurrency(currency, function(result) { if (result != null) location.href = result; });
}