length($a);