Division by Seven