12027=4009*3