document.write (" 14272 ");