así como el himno de Puerto Rico, que suena al mediodía, y las melodías diferentes que se escuchan a las 6:00 a.m. y 6:00 p.m., entre las que se incluyen “el Ave María, el ‘Huapango de ...