function explain($text)
{
	if(!$text) { $text=""; }
	document.getElementById('explainer').innerHTML = $text;
}

function jumppage($page)
{
	window.location.href=$page.options[$page.selectedIndex].value;
}