used properties for getters and setters