The year end bonus of government employees is equivalent to their monthly basic salary as of October 31 of the current year. Provided they meet all the conditions setforth for the grant of the same.