Wo ist das Problem, ist doch beides gültig. Man könnte auch “red” schreiben, oder “#f00