Учетная запись Windows и неправильное содержимое страниц

[Proxy]

Доброго дня.

Вот такая штука приключилсь:
Есть 3 одинаковых новых ПК, на каждом по 2 локальные учетки и софт, установленный с одного дистрибутива в одинаковой последовательности (стоит ОС, ms Office 2010, Java, 7zip, adobe Reader, Firefox, антивирус отечественный и больше ничего).
На всех 3 машинах под учеткой пользователя заходим на один и тот же портал под ie — 2 заходят, 1 сообщает о синтаксической ошибке на странице в скрипте pp.js. Смотрим — ну и правда ; пропущена в просмотре html кода.
Запускаем FF под теми же учетками — 1-в-1 с ie (т.е. битый скрипт на из кэша ie).
Сколько не бился — так и не понял откуда почему и откуда оно.

Далее на той машине, которая на портал не заходит под учеткой пользователя, заходим под учеткой администратора и вуаля, портал открывается, тока с запятой стоит где должна.

Как такое возможно вообще?
Malware с подменой pp.js у пользователя? Но откуда, если весь софт одной версии и с одного носителя на всех 3 ПК стоит (и более ничего не качалось).

[Proxy]

Причина:

Просто так совпало, что остальные 2 ПК в несколько иное время заходили, поэтому тупо не застали.
А вот почему ctrl+f5 ни в одном браузере не привело к повторной загрузке скрипта — это непонятно. Обычно это комбо во всех браузерах запрещает брать что-либо из локального кэша (+ в запросе явно указывается необходимость работы без кэша, что впрочем шлюз может игнорировать в любом случае), но видимо есть какие-то исключения.

Так некорректный скрипт попал в кэш обоих браузеров

И да, я таки звонил в саппорт портала, но как и ожидалось, там просто развели руками. Нехорошо так деплоить. Ну и увидев подобную разницу в первую очередь стоило вручную полностью очистить кэш.

[Qwertiy]

А вот почему ctrl+f5 ни в одном браузере не привело к повторной загрузке скрипта — это непонятно.

Некоторые браузеры предпочитают Ctrl+R...

[Proxy]

Некоторые браузеры предпочитают Ctrl+R...

А разве Ctrl+R — это не просто обновление?

[Qwertiy]

А разве Ctrl+R — это не просто обновление?

Просто обновление - это F5. А дальше браузеры делятся на две группы - часть считает, что полное обновление - это Ctrl+F5, а другая часть - что Ctrl+R. Так что, чтобы уж точно обновить, лучше на всякий случай нажать и то, и другое.