// Perform jumpto operation

function jumpto(theform, idx)
{
	var page = theform.jumpbox.options[idx].value ;
	if (page.length < 2)
	{
		page = '0' + page ;
	}

	location.href = baseName + '-page' + page + '.html' ;
}