function open_url(url)
 {
 window.open(url);
 }