interface History { /* IID: { 0x896d1d20, 0xb4c4, 0x11d2, \ { 0xbd, 0x93, 0x00, 0x80, 0x5f, 0x8a, 0xe3, 0xf4 } } */ readonly attribute int length; readonly attribute wstring current; readonly attribute wstring previous; readonly attribute wstring next; void back(); void forward(); void go(in int index); };