// JavaScript Document


function jumpto(x)
{
	if (document.ae_hyp_jumper.jumpmenu.value != "null") 
		{
		document.location.href = x;
		}
}