document.write ("6086 ");