document.write ("19930");