document.write (" 19930 ");