havd ( dat avd ( dat vd ( dat d ( dat ( dat dat att