procedure $a $a 1 $a main procedure