两根绳子的长分别是2.38m和1.94m，爸爸把两根绳子接在一起，接头处用去0.25m。接好后的绳子有多长？