I saw this code and I\'m scratching my head trying to decide how it works.
I've been able to find an obscure reference in some scanned manual from Microsoft Office Infopath 2003. It appears to be a JScript syntax:
a double colon is used as separator between the script ID and the event name
My guess is that's not part (or no longer part) of Internet explorer's ECMAScript implementation but it belongs (or used to belong) to Microsoft Office's implementation.