comment 12:42