can use echo raring (13.04) or saucy (13.10) in bash script (line 14).

Thanks you sharing.