document.write ("6007");