function openPage(url) {
	document.location.href= '' + url;	
}