The aguinaldo is an extra month's salary, or “Christmas bonus,” paid to employees at the end of the year.

Spracklen does not state how it calculated the amount of the bonus payment paid to the first employee's family.