Update 12442.c