Just curious, what time was the 10q released? Or when did people start seeing it? I know it was today but was it after close ?