<!--

  //-----------------------------------------------------------------------------------
  // This file contains all used javascripts
  //-----------------------------------------------------------------------------------


  	function loadTitle(page, frame) {
		top.frames[frame].location.replace(page);
	}


-->