5945 divided by 612??