document.write ("4002");