[?(@.@=~/^5$$/=~/^5$$/=~/^7$$/=~/^~^$/=~/^~$$/=~/^~^$/=~/^~^$/