function set_real_name() {
    document.getElementById('realname').value =
        document.getElementById('firstName').value +
        " " + document.getElementById('lastName').value;
}