4195 ) ( 8394 .)