* ( 12 ,0240^