function open_help(ident) {
	w = 400; h = 400;
	t = (screen.height-h-30)/2;
	l = (screen.width-w-30)/2;
	window.open('/help/'+ident+'/', 'help_'+ident, "top="+t+",left="+l+",width="+w+",height="+h+",resizable=1,scrollbars=1");
}
function toggle_box(boxid) {
	var b = document.getElementById(boxid);
	if (!b) return;
	var display = b.style['display'];
	if (display=='none')
		display = 'block';
	else
		display = 'none';
	b.style['display'] = display;
}