function get_val(id) {
    return document.getElementById(id).innerHTML;
}