1047 ) ( 3112 .)