/*moved to xmlextras-old.js*/