5.12/5.17 YES 5.12/5.17 5.12/5.17 5.21/5.41 EOF