Code used in this page

					(function () {
						var historyLinks = document.getElementById("history-links");
						if (typeof history.pushState !== "undefined") {
							historyLinks.addEventListener("click", function (evt) {
								var target = evt.target;
								if (/^a$/i.test(target.nodeName)) {
									var url = target.href,
									title = target.innerHTML,
									state = {
										address : url
									};

									window.history.pushState(state, title, url);
									evt.preventDefault();
								}
							}, false);
						}
						else {
							historyLinks.className = "no-support";
							historyLinks.innerHTML = "History API not supported in your web browser";
						}
					})();