Hola, tienes que hacer un casting del 4 mediante parseInt porque si usas getElementById() recibe como parámetro un string, no puedes poner un string y un numero concatenados porque te dará error.
Código HTML:
a=parseInt(4);
b=document.getElementById("tipo"+a).value;
Creo yo que así no hay problema.
edito:Vale veo que tb se puede poner el 4 como número, el caso es usar getElementById como explica el compañero...yo es que antes de poner un número en un getElementById lo convertía a string
Saludos.