( " 42 72)