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