4个小时15分。可以先算出9点到九点十五是十五分钟，5点到九点是4个小时，故而5点半下班到九点15分是4个小时15分。