5.42/5.45 YES 5.42/5.45 5.42/5.45 5.47/5.51 EOF