update encode_pasteid() and decode_pasteid() for shorter urls