non credo: è codice proprietario di IE