document.write (" 13914 ");