goedel 01 18 46 00 05dc 0 00000d10
