window.document.onkeydown = function f5_enter_stop()
{
	if (document.all) {
		switch(event.keyCode) {
			case 13:
			case 116:
				event.keyCode = null;
				return false;
			default:
		}
	}
}