&#xa12&#xa15&#xa16&#xa13&#xa17