      interface Location {
/* IID: { 0xa6cf906d, 0x15b3, 0x11d2, \
  { 0x93, 0x2e, 0x00, 0x80, 0x5f, 0x8a, 0xdd, 0x32 } } */

	attribute wstring hash;
        attribute wstring host;
	attribute wstring hostname;
        attribute wstring href;
        attribute wstring pathname;
        attribute wstring port;
        attribute wstring protocol;
        attribute wstring search;

	void reload(/* ... */);
        void replace(in wstring url);
      };