document.write (" 19931 ");