$ret = date( '$3'. $ret . '$3', $stamp ); // Workaround for a PHP 4.0.4 problem
$ret = str_replace( '$1', substr( getDayName( date( 'w', $stamp ) ), 0, 3 ), $ret );
$ret = str_replace( '$2', getMonthName( date( 'm', $stamp ) ), $ret );
$ret = date( '$3'. $ret . '$3', $stamp ); // Workaround for a PHP 4.0.4 problem
$ret = str_replace( '$1', substr( getDayName( date( 'w', $stamp ) ), 0, 3 ), $ret );
$ret = str_replace( '$2', getMonthName( date( 'm', $stamp ) ), $ret );