function choose_curr(v){
document.top_currency.currency.value=v;
document.top_currency.submit();
}