##!/bin/sh
 $Id$
_PROB_coredumps="Core Dumps"
_PROB_filename="Filename"
_PROB_date="Creation date"