Was this 10Q posted after hours by the company? Or was this available during regular trading hours today?