function open_url(url)
{
   window.open(url,'_self');
}