document.write('0006931');