function double (nr)
{
    return nr*2;
}
 
double (7/2);