Alan has forgotten his 4-digit PIN code.
He knows it begins with a 7 and the 4 digits make a number divisible by 5.
How many different sets of 4 digits could it be?