Apesar de existir outras formas acho que a melhor é ir no mais simples e inserir os caracteres de formatação no locais adequados.
function formatar_valor(strvalor) {
return strvalor.substring(0, 4) + "." + strvalor.substring(4, 8) + "." +
strvalor.substring(8, 12) + "-" + strvalor.substring(12, 13);
}
document.body.innerHTML += formatar_valor('1234213412341');