document.write (" 12740 ");