"INTEGER_PROPERTY"