Leonardo da Vinci’s birthday

/* Your code goes here */