function changeFont ( newFont ) {
	document.getElementById( 'index' ).style.fontFamily = newFont;
	document.getElementById( 'fontName' ).value = newFont;
	}