function navigate(url)
{
    window.location.href = window.location+'/'+url;
}