function results_build_session_data_from_verification_id($verify_id)
{
    global $db;
    $vr_tbl = VERIFY_RESULTS_TBL;
    $f_verify_id = $vr_tbl . "." . VERIFY_RESULTS_ID;
    $f_vr_run_id = $vr_tbl . "." . VERIFY_RESULTS_TS_UNIQUE_RUN_ID;
    $results_tbl = TEST_RESULTS_TBL;
    $f_results_id = $results_tbl . "." . TEST_RESULTS_ID;
    $f_test_run_id = $results_tbl . "." . TEST_RESULTS_TS_UNIQUE_RUN_ID;
    $f_testset_id = $results_tbl . "." . TEST_RESULTS_TEST_SET_ID;
    $f_test_id = $results_tbl . "." . TEST_RESULTS_TEMPEST_TEST_ID;
    # Get the unique_test_run_id from the verify results table
    $q = "SELECT {$f_vr_run_id}\n\t\t  FROM {$vr_tbl}\n\t\t  WHERE {$f_verify_id} = '{$verify_id}'";
    $test_run_id = db_get_one($db, $q);
    # Get the testset_id and test_id from the test_run_id supplied above
    $q2 = "SELECT DISTINCT {$f_testset_id}, {$f_test_id}\n\t\t   FROM {$results_tbl}\n\t\t   WHERE {$f_test_run_id} = '{$test_run_id}'";
    $rs = db_query($db, $q2);
    $row = db_fetch_row($db, $rs);
    $test_id = $row[TEST_RESULTS_TEMPEST_TEST_ID];
    $testset_id = $row[TEST_RESULTS_TEST_SET_ID];
    # Get the build_id from the test set table
    $build_id = admin_get_build_id_from_testset_id($testset_id);
    # Get the release_id from the build table
    $release_id = admin_get_release_id_from_build_id($build_id);
    # pass the array into $_GET.  The results_view_verification_page uses these variables
    $array = array($_GET['release_id'] = $release_id, $_GET['build_id'] = $build_id, $_GET['testset_id'] = $testset_id, $_GET['test_id'] = $test_id, $_GET['test_run_id'] = $test_run_id);
    # We might want to pass the array into session_set_properties directly and set
    # the session variable in this function
    #session_set_properties( "results", $_GET );
    return $array;
}
 html_tbl_print_sortable_header(lang_get('tests'));
 # Display table headers based on the statuses of the project
 foreach ($statuses as $status) {
     html_tbl_print_header($status);
 }
 html_tbl_print_sortable_header(lang_get('testset_date_received'), TS_TBL . "." . TS_DATE_CREATED, $order_by, $order_dir);
 print "</tr>" . NEWLINE;
 foreach ($rows_testsets as $row_testset) {
     $testset_id = $row_testset[TS_ID];
     $num_tests = admin_count_tests_in_testset($testset_id);
     #$testset_name = admin_get_testset_name( $testset_id );
     $testset_name = $row_testset[TS_NAME];
     $testset_build_id = admin_get_build_id_from_testset_id($testset_id);
     #$testset_build_name = admin_get_build_name($testset_build_id);
     $testset_build_name = $row_testset[BUILD_NAME];
     $testset_release_id = admin_get_release_id_from_build_id($testset_build_id);
     #$testset_release_name = admin_get_release_name($testset_release_id);
     $testset_release_name = $row_testset[RELEASE_NAME];
     $testset_date_created = $row_testset[TS_DATE_CREATED];
     $display_test_id = util_pad_id($testset_id);
     $results_url = $results_page . "?release_id={$testset_release_id}&amp;build_id={$testset_build_id}&amp;testset_id={$testset_id}";
     $row_style = html_tbl_alternate_bgcolor($row_style);
     print "<tr class={$row_style}>" . NEWLINE;
     if ($num_tests > 0) {
         print "<td class='tbl-data-c'><a href='{$results_url}'>{$display_test_id}</a></td>";
     } else {
         print "<td class='tbl-data-c'>{$display_test_id}</td>";
     }
     print "<td class='tbl-data-c'>{$testset_name}</td>";
     print "<td class='tbl-data-c'>{$testset_build_name}</td>";
     print "<td class='tbl-data-c'>{$testset_release_name}</td>";