<!--

function DoNav(theUrl)

{

  document.location.href = theUrl;

}


function ajax_load(itemid, url)

{

  new Ajax.Updater(itemid, url, { method: 'get' });

}

//-->