document.write ("6972");