<?php


        $fatorial = gmp_fact(10);
	    echo gmp_strval($fatorial);