read a&&echo $[9-13#$a%12]&&. *