3 + twelve =