function do_search(f, type) {
    f.type.value = type;
    f.submit();
}