# The default keymap for washington