document.write ("6001 ");