// Just to please IE when opening local pages