3c3 < # $Id: post_faq.pl.base,v 1.41 1994/02/23 21:25:53 jik Exp $ --- > # $Id: post_faq.pl.base,v 1.42 1994/11/01 17:36:25 tkoenig Exp $ 303c303 < "<${idname}_${time}@${host}>"; --- > "<${idname}_${time}\@${host}>";