OT: Stupid question. Is there going to be any trading on Monday? Is it an observed non trading day holiday. :P