document.write(' 6007 ');