xx $a=100.12345; printf("%.3f",$a); ?>yy