int mul12(int x)
{
    return x * 12;
}