doshrink(document.getelementbyid(articledesc),175);