[Turing_Machine]

The real error was committed by whoever required this to work on IE7 in the first place (or whichever customer hasn't updated their browsers in, what, seven years now?).