These unfortunate incidents happens pretty often. Your girlfriend will need to make a report to the Police and contact her country's embassy. I don't know your girlfriend's nationality but I do know that in the case of the U.S. Embassy, they will issue a replacement passport for her to travel home. I suspect that is true for most countries. The link for U.S. citizens is here:
http://travel.state.gov/travel/tips/...port_1197.html