It's kind of hard to tell from your scan, but is the Borland Holiday International the lighter or darker orange?
() 
