kclv.Tokenizer.KCRDB.Materials.prototype.canonizeTimeStamp = function(
    timeStamp
) {
    // Convert "#2013/04/23 01:23:45#" into "2013/04/23 01:23:45".
    return timeStamp.replace(/#/g, '');