9个半小时。7.30是7点30分，7点30分到8点是半小时，8点到17点是17－8=9小时，半小时和9小时合起来就是9个半小时，所以7：30到17点共9个半小时。