/* dummy file for IE3 */