function global_flagname_init()
{
}

function global_flagname_menu_init(arg0, arg1, arg2, arg3)
{
}