http://jiangjie.atedu.net/ - зеркало для некоторых файлов из шапки,