( parameterized constructor )