//-----------------------------------------------------------------------------
/*
  Copyright ?2000-2007 by Thomas Schulz <thomas#convertformac.com>.
*/
//-----------------------------------------------------------------------------
/*
  You can have javascript files see each other simply
  by (the order of?) the HTML document links them in.
*/
//-----------------------------------------------------------------------------

//-----------------------------------------------------------------------------
function msGetServerUrlRoot()
{
  var tmp_str = location.href;
  var tmp_int = tmp_str.indexOf('/');
  if (tmp_str.charAt(tmp_int + 1) == '/')
    tmp_int = tmp_str.indexOf('/', tmp_int + 2);
  tmp_str = tmp_str.substring(0, tmp_int + 1);
  return tmp_str;
}
//-----------------------------------------------------------------------------

//-----------------------------------------------------------------------------
function msLoad()
{
 msBreakOut();
}
//-----------------------------------------------------------------------------

//-----------------------------------------------------------------------------
function msBreakOut()
{
  // if (window != top) {
  //   if (!(top.location.href.match("https://www.google.com/analytics/")))
  //     top.location.href = location.href;
}
//-----------------------------------------------------------------------------

//-----------------------------------------------------------------------------
LibraryImagesUrlRoot = '';
LibraryImagesUrlRoot = LibraryImagesUrlRoot + msGetServerUrlRoot() + 'library/images/';
logo1 = new Image();
logo1.src = LibraryImagesUrlRoot + "blue_empty_arrow.gif";
logo2 = new Image();
logo2.src = LibraryImagesUrlRoot + "blue_right_arrow.gif";

function MouseLeave(value)
{
  eval("document.but_" + value + ".src = logo1.src");
}

function MouseEnter(value)
{
  eval("document.but_" + value + ".src = logo2.src");
}
//-----------------------------------------------------------------------------

//function msBreadNavCC(html_object, $css_class) {
//  html_object.className = $css_class;
//}