( 8157 ) Rot ).