If the co-ordinates of opposite vertices of a square are (1, 3) and (6, 0), the length of a side a square is