stfs ' hasDa ' b tfs ' hasDa ' b fs ' hasDa ' b s ' hasDa ' b ' hasDa ' b hasDa ' b asDa ' b sDa ' b Da ' b a ' b ' bb