function toggle(v) { document.getElementById(v).style.display=(document.getElementById(v).style.display=='none'?'block':'none'); }
function hide(v) { if (document.getElementById(v)) document.getElementById(v).style.display='none'; }
function show(v) { if (document.getElementById(v)) document.getElementById(v).style.display='block'; }


// function $(v) { return(document.getElementById(v)); }



function preferenceFormSubmit(checkbox) {
	window.setTimeout("preferenceForm.submit();",50);
	window.setTimeout("document.getElementById('preferenceForm').submit()",150); // for firefox
}