7,13 e. , pr dec7,17