document.write ('6007');