17 + twelve =