What is the output of the below given code?

int y = 9;

y += y+3;

printf("%d",y);