" res<