正式程序12.8