19200 ) ( 4517 .)