KEY_F(12)
Man(1) output converted with
man2html