function oink(x){alert(x);}
function ov(x){x.style.background="url(/images/pigsm.png)";}
function ou(x){x.style.background="url(/images/pigsmbw.png)";}
function pl(){if(document.images){var a=new Image();var b=new Image();a.src='/images/pigsm.png';b.src='/images/pigsmbw.png';}}