function open_win(urls)
{
  for (i = 0; i < urls.length; i++)
    window.open(urls[i]);
}