echo redondeado(15.256,0);