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