function jump_to(location)
{
    document.location.href=location;
}

function open_new(location)
{
    window.open(location);
}