You can use f-keys for the coloured buttons on the BBC Micro too :)