[proof] trim punctuations with javascript