batch10 / ceiling function