(integer) 72