First naive implementation for 412