den med gasdekorationer och fangruppsringar prydda nationalsalen.