to look up the wrong element when requesting 'preferences', which then dies horribly.
Better future solution will be to ensure that any IDs used are unique. That's not pretty.
function tabbedprefs() {
prefform = document.getElementById('preferences');
if(!prefform || !document.createElement) return;
+ if(prefform.nodeName == 'A') return; // Occasional IE problem
prefform.className = prefform.className + 'jsprefs';
var sections = new Array();
children = prefform.childNodes;