<!-- Bookmark age script

var url = this.location;
var title = document.title;

function bookmark(){
if(document.all)
window.external.AddFavorite(url,title)
}

// -->
<!--
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}
//-->

function divshow(file) {
	document.getElementById(file).style.display='block';
}

function divhide(file) {
	document.getElementById(file).style.display='none';
	
}