Update ORFnumber.pl