function makeAjaxRequest(a,d,b){var c=new Ajax.Updater(d,a,{method:"get",parameters:b})}function Redirect(a){window.location=a};