// This function must be included in every form. ********************************************
function functionKeyPressed(functionKey) {
	
	if(functionKey==5) {
		document.location.reload();
	}
}