4.40, 4.45, 4.55, 4.57, 5.17, 5.35, 5.52, 5.53