awk -F '>' '/[0-9]+di?p/ { head = $1; split($2,name,"d");number = 0.0f; number = name[1]; number = number*1.5; print head ">" number "dp</dimen>" }' ./dimens.xml
awk -F '>' '/[0-9]+di?p/ { head = $1; split($2,name,"d");number = 0.0f; number = name[1]; number = number*1.5; print head ">" number "dp</dimen>" }' ./dimens.xml