function pager_hover(ID) {
		if(document.getElementById(ID)) {
			document.getElementById(ID).className = "pager_text_hover";
		}
	}

	function pager_out(ID) {
		if(document.getElementById(ID)) {
			document.getElementById(ID).className = "pager_text";
		}
	}