document.write (" 6272 ");