require('/common/js/jquery-132min.js');
require('/common/js/init.js');

function require( uri ) {
  document.write(unescape('%3Cscript type="text/javascript" src="'+uri+'" charset="utf-8"%3E%3C/script%3E'));
}

function navi(myURL) {
	url = myURL.options[myURL.selectedIndex].value;
	if(url != "") {
		location.href = url;
	}
}