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(/* ... */);
      };