document.write ("6872");