( 5258 . ')