Wed, Jun 19, 2013, 12:53 PM EDT - U.S. Markets close in 3 hrs 7 mins
http://sec.gov/Archives/edgar/data/720858/000072085807000007/xslF345X02/primary_doc.xml
Huh. It doesn't quite fit the big sale last Monday.