function do_populate_cb(s) {
    var arr = deserialize_string_list(s);
    var options = document.doc1.selCourseNm.options;
    var i;

    // Remove any options it currently has.
    options.length = 0;

    // Add new options.
    for (i=0; i<arr.length; i++) {
        var option = document.createElement('OPTION');
        option.value     = arr[i];
        option.innerText = arr[i];
        options.add(option);
    }
}