document.write ("008931");