The Crişul Mic River is a tributary of the Doba River in Romania . The Crişul Mic river is a tributary of the River Doba in Romania . The river Doba is a tributary of the Crişul Mic River in Romania .