// JavaScript Document
function jump_to_page(targ) {
	goToPage(selObj.options[selObj.selectedIndex].value);
}