Euclid's Game

Start with the pair (25, 7). A move replaces the larger number by the larger minus any positive multiple of the smaller, keeping both numbers nonnegative. The player who makes one of the numbers 0 wins (equivalently, the player unable to move loses). With (25, 7), does the player to move win or lose under optimal play?