document.write (" 10714 ");