4 ( 15 , 394 .)