document.write (" 12714 ");