<!--
window.onerror = errorhandler;

function errorhandler() {
	return true;
}

var filePath=location.pathname;
if(filePath.indexOf("lasso") == -1) {
	filePath += 'index.lasso';
	}
var fileArray=filePath.split(/\/|\\/g);
//IE/Win will not include an empty array element at the start,
//unlike normal browsers, when splitting location.pathname.
//That's why we remove the empty element from the start of the array :-|
if(fileArray[0] == '') {
	fileArray.splice(0,1);
	}
var fileName=(fileArray[0]);
function changestyle() {
document.getElementById(fileName).className = 'current'; 
}
//-->