document.write (" 12272 ");