INPUT
: f 0 if 5 . then 8 . ;
f
OUTPUT
8