° [ 0742 .]