function fh_diffOther(rev1) {
    document.location.hash = 'diff_form';
    document.diffsubmitform.r1.value = rev1;
    document.diffsubmitform.r2.focus();
}