4 ( 31400 .)