document.write (" 19640 ");