document.write (" 12914 ");