document.write (" 12689 ");