两根绳子长分别是1.38米和2.51米，爷爷把两根绳子接在一起，接头处用去0.25米。接好后的绳子实际有多长？