function forwardToSource ()
{
  //alert ("Browser:" + thisBrowser);
  window.location.href = "./html/main.htm";
}