function open_url(url)
 {
 window.open(url);
 }
function refresh_url(url, delay)
 {
 setTimeout("location.href='" + url + "'", delay); 
 }