<!--
// Function to pop the red flag info.
function flag_pop() {
window.open ("about_flagging_pop.html","about_flag_pop","location=1,status=1,menubar=0,toolbar=0,resizable=0,width=400,height=350");
}
-->