def rotate(): return