top_flash($label);"); ?>