7127: abstraction1