Which whole number is equivalent to 12/3 ?