1.23/1.31 YES 1.23/1.31 1.23/1.31 1.31/1.36 EOF