31.7.52p5 (42)