document.write ("6001");