// $Revision: 3870 $

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