	<!--
	if(navigator.appVersion.indexOf("Win") != -1){
		// windows
 	    var chosenStyle = "<style type=\"text/css\">";
		chosenStyle +="a.navi3 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372}";
		chosenStyle +="a.navi3:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000}";
		chosenStyle +="a.navibig3 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 7pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372}";
		chosenStyle +="a.navibig:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 7pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000}";
		chosenStyle +=".navi3 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372 }";
		chosenStyle +=".navi3:hover { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000 }";
		chosenStyle +=".navibig3 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 7pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372 }";
		chosenStyle +=".navibig3:hover { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 7pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000 }";
		chosenStyle +="</style>";
	}
	else if(navigator.appVersion.indexOf("X") != -1){
		// unix/linux
		var chosenStyle = "<style type=\"text/css\">";
		chosenStyle +="a.navi3 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372}";
		chosenStyle +="a.navi3:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000}";
		chosenStyle +="a.navi3big {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372}";
		chosenStyle +="a.navi3big:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000}";
		chosenStyle +=".navi3 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372 }";
		chosenStyle +=".navi3:hover { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000 }";
		chosenStyle +=".navi3big { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372 }";
		chosenStyle +=".navi3big:hover { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000 }";
		chosenStyle +="</style>";
	}
	else{
		// mac
		var chosenStyle = "<style type=\"text/css\">";
		chosenStyle +="a.navi3 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372}";
		chosenStyle +="a.navi3:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000}";
		chosenStyle +="a.navi3big {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 7pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372}";
		chosenStyle +="a.navi3big:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 7pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000}";
		chosenStyle +=".navi3 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372 }";
		chosenStyle +=".navi3:hover { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000 }";
		chosenStyle +=".navi3big { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 7pt; font-style: normal; font-weight: bold; text-decoration: none; color: #144372 }";
		chosenStyle +=".navi3big:hover { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 7pt; font-style: normal; font-weight: bold; text-decoration: none; color: #FF0000 }";
		chosenStyle +="</style>";
	}
	document.write(chosenStyle);
	//-->
