rot ( 19257 .)