hello world 42 baum42 13 4.2 42 42 4.2