( denv ; 8nt “ ”ta