def rotate(x, y, x0, y0, angle):
x, y = x - x0, y - y0<EOL>a, b = cos(radians(angle)), sin(radians(angle))<EOL>return (x * a - y * b + x0,<EOL>y * a + x * b + y0)<EOL>
Returns the coordinates of (x,y) rotated around origin (x0,y0).