// print "lang: $lang"; ?>