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