added back the F12 key