function displayInfo(id) {
	document.location = "/web/cityinfo.php?id=" + id;
}