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