e uppgif- ( 12785 .)