document.getElementById(quoted_div_name).innerHTML = quoted_msgnum;
mail_display_message(quoted_msgnum, document.getElementById(quoted_div_name), 0);
}
document.getElementById(quoted_div_name).innerHTML = quoted_msgnum;
mail_display_message(quoted_msgnum, document.getElementById(quoted_div_name), 0);
}