this is for the header file "player"