function hover( id ) {
	document.getElementById(id).className = 'current_page';
}
function hoverOff( id ) {
	document.getElementById(id).className = '';
}