/* for IE3 Bugs */