Jim is short for Jimmy?为什么要用介词for?