function jump(url) {
/*i = document.nav.page.selectedIndex;
url = document.nav.page[i].value;
*/
if (url != '')
{
	location.href = url;
	}
}