' ( 5 083 .)