How would "Thomas" be translated in Russian?