I just realized Monday is Columbus Day so stock market won’t open till Tuesday are we dumping hard Tuesday?