how to use @property