fix js format for IE