document.write (" 5272 ");