function calc_total(value, other) {
    if (value == 0) {
        return
    }
    var other_value = document.getElementById(other).value;
    if (other_value == 0) {
        return
    }
    document.getElementById('txn_total').innerHTML
        = prec(value * other_value, 2);
}
function prec(value, prec) {
    return Math.round(value * Math.pow(10, prec) ) / Math.pow(10, prec)
}
function delportfolio(url,name) {
    if (confirm ('Wollen Sie Ihr Portfolio "'
                    + name + '" wirklich loeschen?')) {
       location.href = url;
    } 
}