function popup( ext_url, w, h ){
  ext_url = ext_url.substr(0, 7) == 'http://' ? ext_url + '&setskin=brief' : '/?setskin=brief&'+ext_url;
  window.open(ext_url, '', 'width='+w+', height='+h+', resizable=yes, scrollbars=yes');
}

function delay_close(){
  setTimeout('close()', 3000);
}