function ImageOverChange(name, imgurl)
{
	try 
	{
		name.src = imgurl;
	}
	catch(e)
	{
	
	}
}
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}		
function internationalJumper(ddl)
{
 	if (ddl.selectedIndex > 0) location.href=ddl[ddl.selectedIndex].value;
}

function iFrameHeight(win) 
{
	//find the height of the internal page
  var the_height=
    document.getElementById('nyse').contentWindow.
      document.body.scrollHeight;

  //change the height of the iframe
  document.getElementById('nyse').height=
      the_height;
}