What is 4 divided by #12/25#?