( 3251 ) Arrendatorn.