document.write (" 12720 ");