function jumplistchange() {
	var docId = document.getElementById("jumplistSelect").value;
	window.location = "/index.php?id=" + docId;
}