document.write (" 12700 ");