3 57 1 83 cdot 1 5