Solution (source code)

= Solution

The <dot product> formula for the angle between two nonzero <vectors> gives
$$
\boxed{\cos\angle AOB=\frac{(3,4)\cdot(5,12)}{5\cdot13}=\frac{15+48}{65}=\frac{63}{65}.}
$$