These three lines seem to work with IE, did you have problems here?