function scal(i,img,tit,calif) {
c = parent.document.getElementById('cal'+i);
c.src=img; c.title = tit;
parent.document.getElementById('calif'+i).innerHTML=calif;
}
scal(1, '/GIF/?cal85', '8.75 (12 votos)', '8.75
(12 votos)');
scal(2, '/GIF/?cal90', '9.15 (13 votos)', '9.15
(13 votos)');
scal(3, '/GIF/?cal70', '7.00 (9 votos)', '7.00
(9 votos)');