The day after a national holiday, decoration were marked down 40%. Before the holiday, a patriotic banner cost $5.75. Hiw much did the banner cost after the holiday