DB<8> printf "%d","023" 23