function activateTopNav() {
	// highlight active topnav top link
	if (window.location.href.indexOf('topnav') != -1)
		document.getElementById("topnavtoplink1").className='topnavtoplinkactive';
	if (window.location.href.indexOf('/hotels/') != -1)
		document.getElementById("topnavtoplink2").className='topnavtoplinkactive';
	if (window.location.href.indexOf('/attractions/') != -1)
		document.getElementById("topnavtoplink3").className='topnavtoplinkactive';
	if (window.location.href.indexOf('/transportation/') != -1)
		document.getElementById("topnavtoplink4").className='topnavtoplinkactive';
	if (window.location.href.indexOf('/guide/') != -1)
		document.getElementById("topnavtoplink5").className='topnavtoplinkactive';
}