document.write (" 41272 ");