function toUrl(string) {
	string = string.toLowerCase();
	string = string.replace(/ & /g,"_");
	string = string.replace(/ \/ /g,"_");

	string = string.replace(/ /g,"_");
	string = string.replace(/\//g,"_");
	string = string.replace(/\\/g,"_");

	string = string.replace(/\"/g,"");
	string = string.replace(/'/g,"");
	return string;
}

window.addEvent('domready', function() {
	var generalTips = new Tips($$('.toolTip'), {
	    maxTitleChars: 50
	});
	var contactTips = new Tips($$('.toolTipContact'), {
	    maxTitleChars: 50
	});
});