DB<27> print $] 5.024001