If two out of every fifteen trick or treaters that came to your house last halloween were dressed as spider-man, what proportion of trick or treaters were not dressed as spider-man?